30 citations · 66 across the 10 of their papers we have counts for
1 paper · 2 filters
Paul Brunet, Damien Pous
Kleene algebra axioms are complete with respect to both language models and binary relation models. In particular, two regular expressions recognise the same language if and only i…