Transparent Unification Problem.

Andrzej Wronski

Published in: Reports Math. Log. (1995)

Keyphrases

higher order
theorem prover
automated theorem proving
equational theories
database
databases
feature extraction
pairwise
programming language
knuth bendix