Kleene Algebra with Products and Iteration Theories.

Dexter Kozen, Konstantinos Mamouras

Browse the full CSL paper archive.