학술논문
Non-structural subtype entailment in automata theory
Document Type
Conference Paper
Author
Source
In: Theoretical Aspects of Computer Software - 4th International Symposium, TACS 2001, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2215:360-384)
Subject
Language
English
ISSN
16113349
03029743
03029743