The equational theory of Kleene lattices, Theor. Comput. Sci, vol.412, issue.52, pp.7099-7108, 2011. ,
Notes on equational theories of relations. algebra universalis, vol.33, pp.98-126, 1995. ,
Reversible Kleene lattices, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017, vol.83, pp.1-66, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01474911
Regular algebra and finite machines, Chapman and Hall Mathematics Series, 1971. ,
Completeness for Identity-free Kleene Lattices, of Leibniz International Proceedings in Informatics (LIPIcs), vol.118, pp.1-18, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01780845
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. Information and Computation, vol.110, pp.366-390, 1994. ,
Kleene algebra with tests, ACM Trans. Program. Lang. Syst, vol.19, issue.3, pp.427-443, 1997. ,
Complete systems of B-rational identities, Theoretical Computer Science, vol.89, issue.2, pp.207-343, 1991. ,
On semigroups, Bull. Calcutta Math. Soc, vol.36, p.82, 1944. ,