Stone Relation Algebras.

Walter Guttmann

Published in: Arch. Formal Proofs (2017)

Keyphrases

relation algebra
real time
database
data sets
databases
mobile robot
constraint satisfaction problems
temporal reasoning
spatial reasoning
equivalence relation