Sign in

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

Kai SalomaaDerick 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