Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra.

Dexter Kozen

Browse the full STACS paper archive.