Position Automata for Kleene Algebra with Tests
From MaRDI portal
Publication:4621165
Recommendations
- Concurrent Kleene algebra with tests and branching automata
- On the Representation of Kleene Algebras with Tests
- scientific article; zbMATH DE number 1086671
- Concurrent Kleene algebra with tests
- An Axiomatization of Arrays for Kleene Algebra with Tests
- Mathematics of Program Construction
- A coalgebraic approach to Kleene algebra with tests
- A coalgebraic approach to Kleene algebra with tests
- On the coalgebraic theory of Kleene algebra with tests
- Symbolic algorithms for language equivalence and Kleene algebra with tests
Cited in
(6)- On the equivalence of automata for KAT-expressions
- Deciding synchronous Kleene algebra with derivatives
- scientific article; zbMATH DE number 2208070 (Why is no real title available?)
- Symbolic algorithms for language equivalence and Kleene algebra with tests
- Nominal Kleene coalgebra
- On the average size of Glushkov and equation automata for KAT expressions
This page was built for publication: Position Automata for Kleene Algebra with Tests
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621165)