par Filiot, Emmanuel 
;L"oding, Christof;Winter, Sarah
Référence 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference) 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 182, page (46:1-46:16)
Publication Publié, 2020
;L"oding, Christof;Winter, Sarah Référence 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference) 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 182, page (46:1-46:16)
Publication Publié, 2020
Publication dans des actes
| Titre: |
|
| Auteur: | Filiot, Emmanuel; L"oding, Christof; Winter, Sarah |
| Informations sur la publication: | 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference) 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 182, page (46:1-46:16) |
| Statut de publication: | Publié, 2020 |
| series: | LIPIcs |
| Sujet CREF: | Sciences exactes et naturelles |
| Langue: | Français |
| Identificateurs: | info:doi/10.4230/LIPIcs.FSTTCS.2020.46 |
