Unification in Abelian Semigroups.

Alexander Herold Jörg H. Siekmann

Published in: J. Autom. Reason. (1987)

Keyphrases

equational theories
higher order
theorem proving
information systems
knuth bendix
algebraic properties
range searching
neural network
theorem prover
logic programs
rough sets
special case
related problems
automated theorem proving
artificial intelligence
genetic algorithm
information retrieval
data sets