On the positive calculus of relations with transitive closure

DOI10.4230/LIPICS.STACS.2018.3MaRDI QIDQ3304097zbMATH OpenFDO

Authors Damien Pous

Publication date 5 August 2020

zbMATH Keywords

graphsautomataallegoriesrelation algebraKleene algebra

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 1615232
• Axiomatizability of positive algebras of binary relations
• scientific article; zbMATH DE number 2209441
• scientific article; zbMATH DE number 67032
• Kleene algebra with converse

Cites work

• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 7204410 (Why is no real title available?)
• scientific article; zbMATH DE number 2203240 (Why is no real title available?)
• scientific article; zbMATH DE number 3235663 (Why is no real title available?)
• scientific article; zbMATH DE number 3316966 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Algorithms for Kleene algebra with converse
• Complete systems of \(\mathcal B\)-rational identities
• Equational properties of Kleene algebras of relations with conversion
• Notes on equational theories of relations
• On representable relation algebras
• Partial derivatives of regular expressions and finite automaton constructions
• Partial derivatives on graphs for Kleene allegories
• Petri Automata for Kleene Allegories
• The equational theory of Kleene lattices
• The equational theory of union-free algebras of relations
• Two Complete Axiom Systems for the Algebra of Regular Events

Cited in

(8)

• scientific article; zbMATH DE number 1418441 (Why is no real title available?)
• Expressive power and succinctness of the positive calculus of binary relations
• Extensions of the Positive Closure Operator by Using Logical Connectives
• On Positive Relational Calculi
• Relational characterisations of paths
• Completeness theorems for Kleene algebra with tests and top
• scientific article; zbMATH DE number 7649887 (Why is no real title available?)
• Expressive Power and Succinctness of the Positive Calculus of Relations

This page was built for publication: On the positive calculus of relations with transitive closure

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