A complete axiomatisation of reversible Kleene lattices - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2019

A complete axiomatisation of reversible Kleene lattices

Paul Brunet
Department Computer Science [London]

Résumé

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.

Domaines

Logique en informatique [cs.LO] Théorie et langage formel [cs.FL]
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
Origine Fichiers produits par l'(les) auteur(s)

Paul Brunet  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02024864

Soumis le : lundi 22 avril 2019-11:58:30

Dernière modification le : lundi 13 mai 2019-10:48:50

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
115 Consultations
123 Téléchargements

Altmetric

Partager

More