On the positive calculus of relations with transitive closure
From MaRDI portal
Publication:3304097
DOI10.4230/LIPICS.STACS.2018.3zbMATH Open1487.03077MaRDI QIDQ3304097FDOQ3304097
Authors: Damien Pous 
Publication date: 5 August 2020
Recommendations
Algebraic theory of languages and automata (68Q70) Cylindric and polyadic algebras; relation algebras (03G15)
Cites Work
- Partial derivatives of regular expressions and finite automaton constructions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The equational theory of union-free algebras of relations
- Two Complete Axiom Systems for the Algebra of Regular Events
- Complete systems of \(\mathcal B\)-rational identities
- A completeness theorem for Kleene algebras and the algebra of regular events
- Notes on equational theories of relations
- Algorithms for Kleene algebra with converse
- Title not available (Why is that?)
- Equational properties of Kleene algebras of relations with conversion
- On representable relation algebras
- The equational theory of Kleene lattices
- Title not available (Why is that?)
- Petri Automata for Kleene Allegories
- Partial derivatives on graphs for Kleene allegories
- Title not available (Why is that?)
Cited In (8)
- 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
- Title not available (Why is that?)
- Expressive Power and Succinctness of the Positive Calculus of Relations
- Title not available (Why is that?)
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)
