Counting Finite Algebras in the Post Varieties.

Joel Berman Pawel M. Idziak

Published in: Int. J. Algebra Comput. (2000)

Keyphrases

unit length
monadic datalog
finite number
information retrieval
clifford algebra
distributive lattices
real time
databases
real world
information systems
decision making
image processing
three dimensional
database systems
temporal reasoning