Partiality. I: Embedding relation algebras
type: Item
instance of: scholarly article
title: Partiality. I: Embedding relation algebras
zbMATH Open document ID: 1086.68093
author: Gunther Schmidt
published in: The Journal of Logic and Algebraic Programming
publication date: 2006-03-16T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 5012949
MaRDI profile type: Publication
full work available at URL: j.jlap.2005.04.002
OpenAlex ID: W1970694267
cites work: Symmetric quotients and domain constructions
cites work: 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
cites work: Programs as partial graphs. I: Flow equivalence and correctness
cites work: Programs as partial graphs. II: Recursion
cites work: Relation algebras: Concept of points and representability
cites work: Q5287518
cites work: Q4540523
cites work: Q4415082
cites work: Representation theory of Goguen categories.
DOI: 10.1016/J.JLAP.2005.04.002
Recommended article: Partiality. II: Constructed relation algebras
Recommended article: Embeddings between partial combinatory algebras
Recommended article: The algebra of partial equivalence relations
Recommended article: Representation theory of partial relation extensions
Recommended article: Q4874797
Recommended article: Embedding dualities for set partitions and for relational structures
Recommended article: An encoding of partial algebras as total algebras
Recommended article: A perspective on the theory of relation algebras
Recommended article: Q4763909
Recommended article: Q3414339
description: scientific article; zbMATH DE number 5012949