Minimal Set Unification

Puri Arenas-Sánchez Agostino Dovier

Published in: PLILP (1995)

Keyphrases

higher order
theorem proving
equational theories
theorem prover
information systems
automated theorem proving
machine learning
natural language
pairwise
knowledge representation
natural language processing
data management
fine grained
orders of magnitude
knuth bendix