9 citations · 31 across the 9 of their papers we have counts for
1 paper · 1 filter
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…