Determinization of transducers over infinite words: the general case
Origine : Fichiers produits par l'(les) auteur(s)