Completeness and Incompleteness in Nominal Kleene Algebra

DOI10.1007/978-3-319-24704-5_4zbMath1471.68117OpenAlexW2142965212MaRDI QIDQ3460616

Konstantinos Mamouras, Alexandra Silva, Dexter Kozen

Publication date: 8 January 2016

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24704-5_4

Mathematics Subject Classification ID

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

Related Items (5)

Nominal Kleene Coalgebra ⋮ Equational Theories of Abnormal Termination Based on Kleene Algebra ⋮ Nominal Automata with Name Binding ⋮ Unnamed Item ⋮ Reversible Kleene lattices

This page was built for publication: Completeness and Incompleteness in Nominal Kleene Algebra