-
1by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, HélèneSubjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Published in Procedia Computer Science (2015)
Get access
Get access
Get access
Get access
Conference Object -
2by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, SylvainSubjects: “...[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Conference Object -
3by Aceto, Luca, Ann Goldberg, Leslie, Damgard, Ivan, Ingolfsdottir, Anna, M. Halldorsson, Magnus, Walukiewicz, IgorSubjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”
Published 2008
Get access
Book -
4by Aceto, Luca, Damgard, Ivan, Ann Goldberg, Leslie, M. Halldorsson, Magnus, Ingolfsdottir, Anna, Walukiewicz, IgorSubjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”
Published 2008
Get access
Book -
5Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”
Get access
Conference Object -
6by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, DmitriySubjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
7by Hirschowitz, Tom, Pous, DamienSubjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Get access
Get access
Conference Object -
8by Pédrot, Pierre-Marie, Tabareau, NicolasSubjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
9by Holthusen, Sönke, Quinton, Sophie, Schaefer, Ina, Schlatow, Johannes, Wegner, MartinSubjects: “...[INFO]Computer Science [cs]...”
Published in Electronic Proceedings in Theoretical Computer Science (2016)
Get access
Get access
Get access
Get access
Conference Object -
10by Finkel, OlivierSubjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”
Published 2005
Get access
Get access
Get access
Conference Object -
11Subjects: “...[INFO]Computer Science [cs]...”
Get access
Get access
Get access
Get access
Conference Object -
12by Dahrabou, Asmae, Viseur, Sophie, Gonzalez-Lorenzo, Aldo, Rohmer, Jeremy, Bac, Alexandra, Real, Pedro, Mari, Jean-Luc, Audigane, PascalSubjects: “...[INFO]Computer Science [cs]...”
Published 2016
Get access
Get access
Conference Object -
13by Amsaleg, Laurent, Guðmundsson, Gylfi, Gurrin, Cathal, Jónsson, Björn Thór, Satoh, Shin'IchiSubjects: “...[INFO]Computer Science [cs]...”
Published 2017
Get access
Get access
Conference Object -
14
-
15by Jezek, Elisabetta, Vieu, Laure, Zanzotto, Fabio, Vetere, Guido, Oltramari, Alessandro, Gangemi, Aldo, Varvara, RossellaSubjects: “...[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]...”
Published 2014
Get access
Get access
Get access
Conference Object -
16by Thapper, Johan, Živný, StanislavSubjects: “...[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Conference Object -
17by Mariani, JosephSubjects: “...[INFO]Computer Science [cs]...”
Published 2014
Get access
Conference Object -
18
-
19
-
20by Mariani, JosephSubjects: “...[INFO]Computer Science [cs]...”
Published 2014
Get access
Conference Object