A complete axiomatisation of reversible Kleene lattices

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.
Type de document :
Pré-publication, Document de travail
2019
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02024864
Contributeur : Paul Brunet <>
Soumis le : mardi 19 février 2019 - 13:51:32
Dernière modification le : vendredi 22 février 2019 - 15:43:00

Fichiers

hal-version.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02024864, version 1
  • ARXIV : 1902.08048

Citation

Paul Brunet. A complete axiomatisation of reversible Kleene lattices. 2019. 〈hal-02024864〉

Partager

Métriques

Consultations de la notice

14

Téléchargements de fichiers

14