The equational theory of Kleene lattices
From MaRDI portal
Publication:655418
DOI10.1016/J.TCS.2011.09.024zbMATH Open1234.68273OpenAlexW2087081229MaRDI QIDQ655418FDOQ655418
Authors: Szabolcs Mikulás, Hajnal Andréka, István Németi 
Publication date: 4 January 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.09.024
Recommendations
Cites Work
- Title not available (Why is that?)
- The equational theory of union-free algebras of relations
- Dynamic algebras: Examples, constructions, applications
- A completeness theorem for Kleene algebras and the algebra of regular events
- Title not available (Why is that?)
- Equational properties of Kleene algebras of relations with conversion
- Title not available (Why is that?)
- Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
- Axiomatizability of positive algebras of binary relations
Cited In (10)
- On equational theories of semilattices with operators
- Reversible Kleene lattices
- On Kleene algebras of ternary co-relations
- Equational properties of Kleene algebras of relations with conversion
- Completeness for Identity-free Kleene Lattices
- Completeness theorems for Kleene algebra with tests and top
- Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements
- Language models for some extensions of the Lambek calculus
- Equational theory of continuous lattices
- Title not available (Why is that?)
This page was built for publication: The equational theory of Kleene lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q655418)
