Partiality. II: Constructed relation algebras
type: Item
instance of: scholarly article
title: Partiality. II: Constructed relation algebras
zbMATH Open document ID: 1255.03056
author: Gunther Schmidt
published in: The Journal of Logic and Algebraic Programming
publication date: 2013-01-16T00:00:00Z
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6126069
zbMATH Keywords: existential image
zbMATH Keywords: partiality
zbMATH Keywords: Tarski rule
zbMATH Keywords: relation algebra
MaRDI profile type: Publication
full work available at URL: j.jlap.2012.05.005
OpenAlex ID: W2084007974
cites work: Q4885873
cites work: Q5331549
cites work: Categories, relations and dynamic programming
cites work: Q3396549
cites work: Programs as partial graphs. I: Flow equivalence and correctness
cites work: Programs as partial graphs. II: Recursion
cites work: Partiality. I: Embedding relation algebras
cites work: Constructions around Partialities
cites work: Q3060335
cites work: Q4041054
cites work: Q5287518
cites work: Goguen categories. A categorical approach to \(L\)-fuzzy relations
DOI: 10.1016/J.JLAP.2012.05.005
description: scientific article; zbMATH DE number 6126069