Partiality. I: Embedding relation algebras (Q817586)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Partiality. I: Embedding relation algebras	scientific article

Statements

scholarly article

0 references

Partiality. I: Embedding relation algebras (English)

0 references

Gunther Schmidt

0 references

The Journal of Logic and Algebraic Programming

0 references

publication date

16 March 2006

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.jlap.2005.04.002

0 references

Symmetric quotients and domain constructions

0 references

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

0 references

Programs as partial graphs. I: Flow equivalence and correctness

0 references

Programs as partial graphs. II: Recursion

0 references

Relation algebras: Concept of points and representability

0 references

0 references

0 references

0 references

Representation theory of Goguen categories.

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

10.1016/J.JLAP.2005.04.002

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:817586

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q817586&oldid=38485816"