CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Publié dans:
Logical Methods in Computer Science, Numéro Volume 18, Numéro 1, 2022, Page(s) 1-16, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-18(1:16)2022
Auteurs:
Luca Reggio
Publié dans:
Annals of Pure and Applied Logic, Numéro vol. 172, issue 8, 2021, Page(s) article no 102990, ISSN 0168-0072
Éditeur:
Elsevier BV
DOI:
10.1016/j.apal.2021.102990
Auteurs:
Metcalfe, George; Reggio, Luca
Publié dans:
Journal of Symbolic Logic, Numéro in press, 2022, ISSN 0022-4812
Éditeur:
Association for Symbolic Logic
DOI:
10.1017/jsl.2022.1
Auteurs:
Abramsky, Samson; Reggio, Luca
Publié dans:
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 2021, Page(s) 115:1--115:20, ISBN 978-3-95977-195-5
Éditeur:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/LIPIcs.ICALP.2021.115
Auteurs:
Dawar, Anuj; Jakl, Tomáš; Reggio, Luca
Publié dans:
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6
Éditeur:
Association for Computing Machinery
DOI:
10.1109/lics52264.2021.9470609
Auteurs:
Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Publié dans:
Outstanding Contributions to Logic: Samson Abramsky, 2022, ISSN 2211-2758
Éditeur:
Springer
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible