Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof.

Kai Salomaa Derick Wood

Published in: Theory Is Forever (2004)

Keyphrases

automata theoretic
temporal logic
structural information
natural language
knowledge representation
structural features
theorem prover
theorem proving
query containment