Une Caractérisation des Fonctions Séquentielles et des Fonctions SousSéquentielles en tant que Relations Rationnelles (1977)

by C Choffrut
Venue:Theor. Comput. Sci