Completeness theorems for Kleene algebra with tests and top
From MaRDI portal
Publication:6635510
DOI10.46298/LMCS-20(3:27)2024MaRDI QIDQ6635510
Publication date: 12 November 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algorithms for Kleene algebra with converse
- Axiomatizability of positive algebras of binary relations
- The equational theory of Kleene lattices
- Partial derivatives of regular expressions and finite automaton constructions
- Equational properties of Kleene algebras of relations with conversion
- Complete systems of \(\mathcal B\)-rational identities
- On the equivalence, containment, and covering problems for the regular and context-free languages
- Notes on equational theories of relations
- The equational theory of union-free algebras of relations
- Concurrent Kleene algebra with observations: from hypotheses to completeness
- Kleene algebra with hypotheses
- Proof Pearl: regular expression equivalence and relation algebra
- Relationships between nondeterministic and deterministic tape complexities
- On tools for completeness of Kleene algebra with hypotheses
- Left-Handed Completeness
- Equational Theories of Abnormal Termination Based on Kleene Algebra
- On the Coalgebraic Theory of Kleene Algebra with Tests
- Une remarque sur les systèmes complets d'identités rationnelles
- Une condition impliquant toutes les identités rationnelles
- Petri Automata for Kleene Allegories
- Completeness for Identity-free Kleene Lattices
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
- Kleene Algebra with Tests and Coq Tools for while Programs
- NetKAT
- Programming Techniques: Regular expression search algorithm
- On Hoare logic and Kleene algebra with tests
- On tools for completeness of Kleene algebra with hypotheses
- Completeness theorems for Kleene algebra with top
This page was built for publication: Completeness theorems for Kleene algebra with tests and top
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6635510)
