Login / Signup
-Regular Language Containment.
Ramin Hojati
Hervé J. Touati
Robert P. Kurshan
Robert K. Brayton
Published in:
CAV (1992)
Keyphrases
</>
programming language
natural language
language learning
regular languages
special case
target language
specification language
context free
databases
multi agent systems
object oriented
conjunctive queries
object oriented programming
pattern languages