Login / Signup
Opening the AC-Unification Race.
Hans-Jürgen Bürckert
Alexander Herold
Deepak Kapur
Jörg H. Siekmann
Mark E. Stickel
Michael Tepp
Hantao Zhang
Published in:
J. Autom. Reason. (1988)
Keyphrases
</>
theorem proving
arc consistency
higher order
theorem prover
equational theories
information systems
knuth bendix
database
neural network
multi agent
data streams
expert systems
first order logic
automated theorem proving