Partiality. I: Embedding relation algebras

DOI10.1016/J.JLAP.2005.04.002zbMATH Open1086.68093OpenAlexW1970694267MaRDI QIDQ817586FDOQ817586

Authors: Gunther Schmidt 

Publication date: 16 March 2006

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2005.04.002

Recommendations

• Partiality. II: Constructed relation algebras
• Embeddings between partial combinatory algebras
• The algebra of partial equivalence relations
• Representation theory of partial relation extensions
• scientific article; zbMATH DE number 871435
• Embedding dualities for set partitions and for relational structures
• An encoding of partial algebras as total algebras
• A perspective on the theory of relation algebras
• scientific article; zbMATH DE number 749699
• Partial algebras and their theories

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Programs as partial graphs. I: Flow equivalence and correctness
• Title not available (Why is that?)
• Relation algebras: Concept of points and representability
• Programs as partial graphs. II: Recursion
• Symmetric quotients and domain constructions
• Representation theory of Goguen categories.
• Title not available (Why is that?)
• Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16--21, 2001. Revised papers
• Title not available (Why is that?)

Cited In (9)

• Lazy Relations
• Gunther Schmidt's life as a mathematician and computer scientist
• Multirelations with infinite computations
• Boolean Algebras and Stone Maps in Schröder Categories
• Constructions around partialities
• Partiality. II: Constructed relation algebras
• Imperative abstractions for functional actions
• A Relation-Algebraic Approach to Multirelations and Predicate Transformers
• An algebraic approach to multirelations and their properties

This page was built for publication: Partiality. I: Embedding relation algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817586)