Axiomatization of Finite Algebras.

Jochen Burghardt

Published in: CoRR (2014)

Keyphrases

complete axiomatization
finite number
situation calculus
distributive lattices
three dimensional
general theory
database
multiscale
data structure
unit length