Kleene Algebra with Tests and Demonic Refinement Algebras.

Alasdair Armstrong Victor B. F. Gomes Georg Struth

Published in: Arch. Formal Proofs (2014)

Keyphrases

distributive lattices
relation algebra
boolean algebra
interval algebra
propositional logic
temporal reasoning
regular expressions
belief functions
real numbers
general theory
relational algebra
algebraic expressions
data model
genetic algorithm
expressive power
query language
clifford algebra