works on
axiomatisation 1complete lattices 1continuous algebras 1hypotheses 1kleene algebra 1regular tree languages 1

From the 1 of 6 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2024

Completeness Theorems for Kleene algebra with tests and top

Damien Pous, Jana Wagemaker

We prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of t…