Reversible Kleene lattices
From MaRDI portal
Publication:5111283
Recommendations
Cites work
- scientific article; zbMATH DE number 3694622 (Why is no real title available?)
- scientific article; zbMATH DE number 45228 (Why is no real title available?)
- scientific article; zbMATH DE number 1086671 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- A formal exploration of nominal Kleene algebra
- Completeness and incompleteness in nominal Kleene algebra
- Equational properties of Kleene algebras of relations with conversion
- Freshness and Name-Restriction in Sets of Traces with Names
- Nominal Kleene coalgebra
- Notes on equational theories of relations
- Petri Automata for Kleene Allegories
- Petri automata
- Relationships between nondeterministic and deterministic tape complexities
- Reversible Kleene lattices
- The Recognition of Series Parallel Digraphs
- 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
(9)- Logics for reversible regular languages and semigroups with involution
- Kleene algebra with converse
- Petri automata
- Reversible Kleene lattices
- scientific article; zbMATH DE number 1972804 (Why is no real title available?)
- Reversible regular languages: logical and algebraic characterisations
- scientific article; zbMATH DE number 2209891 (Why is no real title available?)
- The equational theory of Kleene lattices
- Algorithms for Kleene algebra with converse
This page was built for publication: Reversible Kleene lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111283)
