CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Published in:
Logical Methods in Computer Science, Issue Volume 18, Issue 1, 2022, Page(s) 1-16, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-18(1:16)2022
Author(s):
Luca Reggio
Published in:
Annals of Pure and Applied Logic, Issue vol. 172, issue 8, 2021, Page(s) article no 102990, ISSN 0168-0072
Publisher:
Elsevier BV
DOI:
10.1016/j.apal.2021.102990
Author(s):
Metcalfe, George; Reggio, Luca
Published in:
Journal of Symbolic Logic, Issue in press, 2022, ISSN 0022-4812
Publisher:
Association for Symbolic Logic
DOI:
10.1017/jsl.2022.1
Author(s):
Abramsky, Samson; Reggio, Luca
Published in:
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
Publisher:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/LIPIcs.ICALP.2021.115
Author(s):
Dawar, Anuj; Jakl, Tomáš; Reggio, Luca
Published in:
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
Publisher:
Association for Computing Machinery
DOI:
10.1109/lics52264.2021.9470609
Author(s):
Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Published in:
Outstanding Contributions to Logic: Samson Abramsky, 2022, ISSN 2211-2758
Publisher:
Springer
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available