par Filiot, Emmanuel 
;Jecker, Ismaël Robin ;Löding, Christof;Muscholl, Anca;Puppis, Gabriele;Winter, Sarah
Référence Proceedings - Symposium on Logic in Computer Science, 33
Publication Publié, 2024-07-01
;Jecker, Ismaël Robin ;Löding, Christof;Muscholl, Anca;Puppis, Gabriele;Winter, Sarah Référence Proceedings - Symposium on Logic in Computer Science, 33
Publication Publié, 2024-07-01
Article révisé par les pairs
| Titre: |
|
| Auteur: | Filiot, Emmanuel; Jecker, Ismaël Robin; Löding, Christof; Muscholl, Anca; Puppis, Gabriele; Winter, Sarah |
| Informations sur la publication: | Proceedings - Symposium on Logic in Computer Science, 33 |
| Statut de publication: | Publié, 2024-07-01 |
| Sujet CREF: | Logique mathématique |
| Sciences exactes et naturelles | |
| Mots-clés: | decomposition |
| finite valuedness | |
| streaming string transducers | |
| Note générale: | SCOPUS: cp.p |
| Langue: | Anglais |
| Identificateurs: | urn:issn:1043-6871 |
| info:doi/10.1145/3661814.3662095 | |
| info:scp/85199094840 |
