Highly Constrained Unification Grammars.

Daniel Feinstein Shuly Wintner

Published in: ACL (2006)

Keyphrases

highly constrained
grammatical inference
context free grammars
natural language
theorem proving
theorem prover
tree grammars
higher order
visual languages
equational theories
context free
constrained problems
finite state automata
stochastic grammar
tree adjoining