Kleene Algebra with Hypotheses - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Kleene Algebra with Hypotheses


We study the Horn theories of Kleene algebras and star continuous Kleene algebras, from the complexity point of view. While their equational theories coincide and are PSpace-complete, their Horn theories differ and are undecidable. We characterise the Horn theory of star continuous Kleene algebras in terms of downward closed languages and we show that when restricting the shape of allowed hypotheses, the problems lie in various levels of the arithmetical or analytical hierarchy. We also answer a question posed by Cohen about hypotheses of the form 1 = S where S is a sum of letters: we show that it is decidable.
Fichier principal
Vignette du fichier
KaH.pdf (481.21 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02021315 , version 1 (15-02-2019)


  • HAL Id : hal-02021315 , version 1


Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic. Kleene Algebra with Hypotheses. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2019, Prague, Czech Republic. ⟨hal-02021315⟩
111 View
188 Download


Gmail Facebook X LinkedIn More