COINDUCTIVE METHODS IN FORMAL LANGUAGE THEORY
Bachelor's
Saved in:
Main Author: | KALAVATHY D/O JAYARAM |
---|---|
Other Authors: | MATHEMATICS |
Published: |
2021
|
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/203671 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
KEAMANAN PENGGUNAAN PROPOFOL COINDUCTION DIBANDINGKAN DENGAN MIDAZOLAM COINDUCTION BERDASARKAN PERUBAHAN HEMODINAMIK PADA INDUKSI ANESTESIA PASIEN YANG DILAKUKAN GENERAL ANESTESIA
by: I Nyoman Yesua D. S. B, dr, NIM011318066316
Published: (2018) -
A coinduction rule for entailment of recursively defined properties
by: Jaffar, J., et al.
Published: (2013) -
FORMALIZATION OF SET THEORY IN COQ
by: LEOW WEI XIANG
Published: (2021) -
New Developments in Formal Languages and Applications
by: Gemma Bel-Enguix, M. Dolores Jiménez-López, Carlos Martín-Vide.
Published: (2017) -
Formalizing constraints in quality process language
by: Tanael, Anna Liza B.
Published: (2005)