Equality Algebras.

Published in: Stud Logica (2012)

Keyphrases

spatial reasoning
clifford algebra
machine learning
fixpoint
topological spaces
distributive lattices
case study
database systems
multi agent
control system
constraint satisfaction problems
temporal reasoning
interval algebra