Partiality. I: Embedding relation algebras

<a class="pub-badge pub-badge--doi" href="https://doi.org/10.1016/J.JLAP.2005.04.002" rel="nofollow">DOI 10.1016/J.JLAP.2005.04.002</a><a class="pub-badge pub-badge--grey" href="https://zbmath.org/1086.68093" rel="nofollow">zbMATH</a><a class="pub-badge pub-badge--grey" href="https://openalex.org/works/W1970694267" rel="nofollow">OpenAlex</a><a class="pub-badge pub-badge--mardi" href="https://portal.mardi4nfdi.de/wiki/Item:Q817586" rel="nofollow">MaRDI QID Q817586</a><a class="pub-badge pub-badge--grey" href="https://fdo.portal.mardi4nfdi.de/fdo/Q817586" rel="nofollow">FDO</a>

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

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)

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

Cites work

• scientific article; zbMATH DE number 1953897 (Why is no real title available?)
• scientific article; zbMATH DE number 1770054 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• Programs as partial graphs. I: Flow equivalence and correctness
• Programs as partial graphs. II: Recursion
• Relation algebras: Concept of points and representability
• 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
• Representation theory of Goguen categories.
• Symmetric quotients and domain constructions

Cited in

(9)

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

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)