Myhill-Nerode Theorem for Recognizable Tree Series Revisited.

Andreas Maletti

Browse the full LATIN paper archive.