On varieties of cylindric algebras with applications to logic.

István Németi

Published in: Ann. Pure Appl. Log. (1987)

Keyphrases

relation algebra
boolean algebra
logic programming
multi valued
computational properties
spatial reasoning
formal theory
asynchronous circuits
expressive power
temporal reasoning
database
classical logic
query language
set theory
bayesian networks
topological spaces
learning algorithm