Partial Unification for Graph Based Equational Reasoning.

Karl-Hans Bläsius Jörg H. Siekmann

Published in: CADE (1988)

Keyphrases

higher order
image processing
theorem proving
graph model
artificial intelligence
database systems
logic programming
first order logic
graph theoretic