par Berthon, Raphaël;Fijalkow, Nathanaël;Filiot, Emmanuel 
;Guha, Shibashis ;Maubert, Bastien;Murano, Aniello;Pinault, Laureline;Pinchinat, Sophie;Rubin, Sasha;Serre, Olivier
Référence ACM transactions on computational logic, 22, 1, 7
Publication Publié, 2021-01-01
;Guha, Shibashis ;Maubert, Bastien;Murano, Aniello;Pinault, Laureline;Pinchinat, Sophie;Rubin, Sasha;Serre, OlivierRéférence ACM transactions on computational logic, 22, 1, 7
Publication Publié, 2021-01-01
Article révisé par les pairs
| Titre: |
|
| Auteur: | Berthon, Raphaël; Fijalkow, Nathanaël; Filiot, Emmanuel; Guha, Shibashis; Maubert, Bastien; Murano, Aniello; Pinault, Laureline; Pinchinat, Sophie; Rubin, Sasha; Serre, Olivier |
| Informations sur la publication: | ACM transactions on computational logic, 22, 1, 7 |
| Statut de publication: | Publié, 2021-01-01 |
| Sujet CREF: | Informatique mathématique |
| Logique mathématique | |
| Informatique générale | |
| Mots-clés: | almost-sure semantics |
| Tree automata | |
| ω-regular conditions | |
| Note générale: | SCOPUS: ar.j |
| Langue: | Anglais |
| Identificateurs: | urn:issn:1529-3785 |
| info:doi/10.1145/3431860 | |
| info:scp/85100081265 |
