You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Ronchi Della Rocca, Simona
[Editor]
;
Computer Science Logic 22. 2013 Turin,
Schloss Dagstuhl, Leibniz-Zentrum für Informatik,
European Association for Computer Science Logic
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Kerinec, Axel
[Author];
Manzonetto, Giulio
[Author];
Ronchi Della Rocca, Simona
[Author]
;
Axel Kerinec and Giulio Manzonetto and SimonaRonchi Della Rocca
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Bucciarelli, Antonio
[Author];
Kesner, Delia
[Author];
Ronchi Della Rocca, Simona
[Author]
;
Antonio Bucciarelli and Delia Kesner and SimonaRonchi Della Rocca
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Ronchi Della Rocca, Simona
[Author];
Dal Lago, Ugo
[Author];
Faggian, Claudia
[Author]
;
SimonaRonchi Della Rocca and Ugo Dal Lago and Claudia Faggian
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
De Benedetti, Erika
[Author]
;
Lyon, École normale supérieure
[Contributor];
Università di Torino (Turin, Italie)
[Contributor];
Baillot, Patrick
[Contributor];
Ronchi Della Rocca, Simona
[Contributor]