Position Automata for Kleene Algebra with Tests

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

zbMATH Keywords

coalgebraKleene algebra with testsposition automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

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)