Position Automata for Kleene Algebra with Tests
From MaRDI portal
Publication:4621165
DOI10.7561/SACS.2012.2.367zbMATH Open1424.68089MaRDI QIDQ4621165FDOQ4621165
Authors: Alexandra Silva
Publication date: 8 February 2019
Published in: Scientific Annals of Computer Science (Search for Journal in Brave)
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
- Title not available (Why is that?)
- 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)