Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra

by Dexter Kozen
Venue:In STACS 2001 (Dresden), volume 2010 of Lecture