On the Completeness of Narrowing for E-Unification.

Jia-Huai You P. A. Subrahmanyam

Published in: KBCS (1989)

Keyphrases

equational theories
higher order
theorem proving
real world
search algorithm
artificial intelligence
website
programming language
digital divide
knuth bendix