Kleene Algebra with Hypotheses.

Amina Doumane, Denis Kuperberg, Damien Pous, Ccilia Pradic

Browse the full FOSSACS paper archive.