Dynamic algebras as a well-behaved fragment of relation algebras.

Vaughan R. Pratt

Published in: Algebraic Logic and Universal Algebra in Computer Science (1988)

Keyphrases

relation algebra
spatial reasoning
clifford algebra
temporal reasoning
distributive lattices
dynamic environments
boolean algebra
image processing
case study
three dimensional
topological spaces