Constraining Tree Adjoining Grammars by Unification.

Published in: COLING (1990)

Keyphrases

tree adjoining
context free grammars
higher order
theorem proving
equational theories
database
databases
high level
domain knowledge
knowledge based systems
building blocks