A complete axiomatisation of reversible Kleene lattices - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

A complete axiomatisation of reversible Kleene lattices

(1)
1
Paul Brunet

Abstract

We consider algebras of languages over the signature of reversible Kleene lattices, that is the regular operations (empty and unit languages, union, concatenation and Kleene star) together with intersection and mirror image. We provide a complete set of axioms for the equational theory of these algebras. This proof was developed in the proof assistant Coq.
Fichier principal
Vignette du fichier
hal-version.pdf (374.32 Ko) Télécharger le fichier
Vignette du fichier
orcid.pdf (19.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02024864 , version 1 (19-02-2019)
hal-02024864 , version 2 (22-04-2019)

Identifiers

Cite

Paul Brunet. A complete axiomatisation of reversible Kleene lattices. 2019. ⟨hal-02024864v2⟩
85 View
96 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More