-Syntactic Equational Theories.

Alexandre Boudet Evelyne Contejean

Published in: ALP (1992)

Keyphrases

equational theories
natural language
theorem proving
syntactic semantic
function symbols
database
artificial intelligence
software engineering
natural language processing
semantic representation
parse tree
semantic role labeling