Unification in Varieties of Completely Regular Semigroups.

Published in: IWWERT (1990)

Keyphrases

higher order
databases
image processing
database
real world
artificial intelligence
social networks
information systems
decision making
multi dimensional
theorem prover
knuth bendix