-
21by Jezek, Elisabetta, Vieu, Laure, Zanzotto, Fabio, Vetere, Guido, Oltramari, Alessandro, Gangemi, Aldo, Varvara, RossellaGet access
Published 2014
Get access
Get access
Conference Object -
22
-
23by Jezek, Elisabetta, Vieu, Laure, Zanzotto, Fabio, Vetere, Guido, Oltramari, Alessandro, Gangemi, Aldo, Varvara, RossellaGet access
Published 2014
Get access
Get access
Conference Object -
24by Cervelle, Julien, Lafitte, GrégoryGet access
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Conference Object -
25by Cervelle, Julien, Lafitte, GrégoryGet access
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Conference Object -
26
-
27
-
28
-
29
-
30by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, SylvainGet access
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Conference Object -
31
-
32
-
33
-
34by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, SylvainGet access
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Conference Object -
35
-
36by Esparza, Javier, Muscholl, Anca, Walukiewicz, IgorGet access
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Conference Object -
37by Blot, ValentinGet access
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Conference Object -
38
-
39
-
40