HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02024864
Contributor : Paul Brunet Connect in order to contact the contributor
Submitted on : Tuesday, February 19, 2019 - 1:51:32 PM
Last modification on : Monday, May 13, 2019 - 10:48:50 AM
Long-term archiving on: : Monday, May 20, 2019 - 3:48:22 PM

Files

hal-version.pdf
Files produced by the author(s)

Identifiers

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

Citation

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

Share

Metrics

Record views

79

Files downloads

92