Kleene Algebra with Equations.

Dexter Kozen, Konstantinos Mamouras

Browse the full ICALP paper archive.