Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/B98117zbMATH Open1088.03051OpenAlexW2476951070MaRDI QIDQ5712435FDOQ5712435

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

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

Mathematics Subject Classification ID

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

Cited In (6)

• Kleene algebra with domain
• Title not available (Why is that?)
• On the Representation of Kleene Algebras with Tests
• Equational properties of Kleene algebras of relations with conversion
• Kleene algebra of partial predicates
• A Non-probabilistic Relational Model of Probabilistic Kleene Algebras

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)