-Unification.

Tobias Nipkow Zhenyu Qian

Published in: RTA (1991)

Keyphrases

theorem proving
equational theories
higher order
theorem prover
artificial intelligence
information systems
multi agent
relational databases
graphical models
np complete
automated theorem proving