par Bertrand, Nathalie;Bouyer, Patricia;Majumdar, Anirban 
Référence FSTTCS, Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 150, page (31:1-31:15)
Publication Publié, 2019

Référence FSTTCS, Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 150, page (31:1-31:15)
Publication Publié, 2019
Publication dans des actes
Titre: |
|
Auteur: | Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban |
Informations sur la publication: | FSTTCS, Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 150, page (31:1-31:15) |
Statut de publication: | Publié, 2019 |
series: | LIPIcs |
Sujet CREF: | Informatique générale |
Informatique mathématique | |
Langue: | Anglais |