Results 1 
3 of
3
The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations
, 1991
"... ..."
Introductory Course on Relation Algebras, FiniteDimensional Cylindric Algebras, and Their Interconnections
 Algebraic Logic
, 1990
"... These are notes for a short course on relation algebras, finitedimensional cylindric algebras, and their interconnections, delivered at the Conference on Algebraic Logic, Budapest, Hungary, August 814, 1988, sponsored by the the Janos Bolyai Mathematical Society. ..."
Abstract

Cited by 26 (3 self)
 Add to MetaCart
These are notes for a short course on relation algebras, finitedimensional cylindric algebras, and their interconnections, delivered at the Conference on Algebraic Logic, Budapest, Hungary, August 814, 1988, sponsored by the the Janos Bolyai Mathematical Society.
Some Algebras And Algorithms For Reasoning About Time And Space
, 1990
"... Constraint networks over relation algebras are defined. Compass algebras are introduced for reasoning about space. They are related to the interval algebras, which are used for reasoning about time. The problem of determining whether a network has a closed zeroless reduction is shown to NPcomplete ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
Constraint networks over relation algebras are defined. Compass algebras are introduced for reasoning about space. They are related to the interval algebras, which are used for reasoning about time. The problem of determining whether a network has a closed zeroless reduction is shown to NPcomplete for almost all compass and interval algebras. This implies constraint satisfaction for these algebras is NPcomplete. x1.