scientific article
From MaRDI portal
zbMath0749.03048MaRDI QIDQ4011723
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
Relation-algebraic semantics, Representations for small relation algebras, Parallel constructions of maximal path sets and applications to short superstrings, A construction of cylindric and polyadic algebras from atomic relation algebras, Weakly representable atom structures that are not strongly representable, with an application to first order logic, Representability is not decidable for finite relation algebras, Tractable approximations for temporal constraint handling, Strongly representable atom structures of relation algebras, Relation algebras and their application in temporal and spatial reasoning, Relation algebras from cylindric algebras. I, Relation algebras from cylindric algebras. II, Canonical varieties with no canonical axiomatisation, Unnamed Item, Relational demonic fuzzy refinement, The complexity of constraint satisfaction problems for small relation algebras
