Position Automata for Kleene Algebra with Tests

DOI10.7561/SACS.2012.2.367zbMath1424.68089MaRDI QIDQ4621165

Alexandra Silva

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

coalgebraKleene algebra with testsposition automata

Mathematics Subject Classification ID

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

Related Items (2)

Nominal Kleene Coalgebra ⋮ Deciding Synchronous Kleene Algebra with Derivatives

This page was built for publication: Position Automata for Kleene Algebra with Tests