Login / Signup
Necessary decidable conditions for the word and equivalence problem of formal languages.
Günter Hotz
Published in:
FCT (1979)
Keyphrases
</>
formal languages
formal language theory
natural language
formal language
datalog programs
co occurrence
context free grammars
first order logic
query containment
keywords