scientific article
From MaRDI portal
Publication:4011723
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 (15)
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
This page was built for publication: