Hints in Unification.

Andrea Asperti Wilmer Ricciotti Claudio Sacerdoti Coen Enrico Tassi

Published in: TPHOLs (2009)

Keyphrases

higher order
theorem proving
general purpose
knuth bendix
equational theories
artificial intelligence
database systems
cooperative
expert systems
state space
programming language
logic programming
context aware