Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests.

Damien Pous

Browse the full POPL paper archive.