Symmetric quotients and domain constructions

DOI10.1016/0020-0190(89)90197-XzbMath0689.68095OpenAlexW2009265696MaRDI QIDQ582127

Gunther Schmidt, Hans Zierer, Rudolf Berghammer

Publication date: 1989

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(89)90197-x

zbMATH Keywords

discrete mathematicssemanticsrelational algebradomain construction

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Discrete mathematics in relation to computer science (68R99)

Related Items

A relational division operator: The conjugate kernel ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ Determinisation of relational substitutions in ordered categories with domain ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Programming from metaphorisms ⋮ Computing minimal extending sets by relation-algebraic modeling and development ⋮ Multirelations with infinite computations ⋮ Dependences between domain constructions in heterogeneous relation algebras ⋮ An algebraic approach to multirelations and their properties ⋮ Contact, closure, topology, and the linking of row and column types of relations ⋮ Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} ⋮ Semantic distance between specifications ⋮ Partiality. I: Embedding relation algebras

Cites Work

• Relations binaires, fermetures, correspondances de Galois
• Unnamed Item