Unification Grammars: A Unifying Approach.

Roland Seiffert

Published in: Wissensbasierte Systeme (1991)

Keyphrases

context free grammars
higher order
grammatical inference
natural language
visual languages
theorem prover
theorem proving
tree grammars
machine learning
learning algorithm
real time
data sets
neural network
automated theorem proving
context free languages