Unification in Finite Algebras is Unitary (?).

Wolfram Büttner

Published in: CADE (1988)

Keyphrases

equational theories
function symbols
higher order
theorem proving
real world
artificial intelligence
spatial reasoning
finite automata
neural network
machine learning
genetic algorithm
knowledge base
logic programming
theorem prover
unit length