Stone-Kleene Relation Algebras.

Walter Guttmann

Published in: Arch. Formal Proofs (2017)

Keyphrases

propositional logic
relation algebra
database
data sets
search algorithm
genetic algorithm
three dimensional
bayesian networks
expressive power