Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/B98117MaRDI QIDQ5712435zbMATH OpenOpenAlexFDO

Authors Jules Desharnais

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98117

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Other algebras related to logic (03G25)

Recommendations

• On the Representation of Kleene Algebras with Tests
• Mathematics of Program Construction
• Equational properties of Kleene algebras of relations with conversion
• Matrix relation algebras.
• The cube of Kleene algebras and the triangular prism of multirelations

Cited in

(6)

• Kleene algebra of partial predicates
• A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
• scientific article; zbMATH DE number 408802 (Why is no real title available?)
• Kleene algebra with domain
• On the Representation of Kleene Algebras with Tests
• Equational properties of Kleene algebras of relations with conversion

This page was built for publication: Relational and Kleene-Algebraic Methods in Computer Science

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