A complete axiomatisation of reversible Kleene lattices - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2019

A complete axiomatisation of reversible Kleene lattices

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
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⟩
99 View
102 Download

Altmetric

Share

Gmail Facebook X LinkedIn More