Kleene Algebra with Equations

DOI10.1007/978-3-662-43951-7_24zbMath1409.68179OpenAlexW66182865MaRDI QIDQ5167845

Konstantinos Mamouras, Dexter Kozen

Publication date: 1 July 2014

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-43951-7_24

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items (9)

The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes ⋮ Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ Canonical finite models of Kleene algebra with tests ⋮ Unnamed Item ⋮ On tools for completeness of Kleene algebra with hypotheses ⋮ Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism ⋮ Equational Theories of Abnormal Termination Based on Kleene Algebra ⋮ Iteration and labelled iteration ⋮ What’s Decidable About Program Verification Modulo Axioms?

This page was built for publication: Kleene Algebra with Equations