2 citations · 2 across the 4 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…