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:
Samson Abramsky, Joni Puljujärvi, Jouko Väänänen
Publié dans:
arXiv, 2021
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2107.10817
Auteurs:
Juliette Kennedy, Menachem Magidor, Jouko Vaananen
Publié dans:
arXiv, Numéro 1, 2021, ISSN 2010-1082
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2007.10766
Auteurs:
Teemu Hankala, Miika Hannula, Juha Kontinen
Publié dans:
arXiv, 2023, ISSN 2331-8422
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2305.11833
Auteurs:
Tapio Saarinen, Jouko Väänänen, Hugh Woodin
Publié dans:
arXiv, 2024
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2405.03428
Auteurs:
Siiri Kivimäki, Jouko Väänänen, Andres Villaveces
Publié dans:
arXiv, 2024, ISSN 2331-8422
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2108.13495
Auteurs:
Hannula, Miika; Hirvonen, Minna; Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Virtema, Jonni
Publié dans:
arXiv, Numéro 1, 2023
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2306.00420
Auteurs:
Aleksi Anttila, Matilda Häggblom, Fan Yang
Publié dans:
arXiv, 2023
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2312.02285
Auteurs:
Tapani Hyttinen, Joni Puljujärvi, Davide Quadrellaro
Publié dans:
arXiv, 2024, ISSN 2331-8422
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2405.03785
Auteurs:
Ben-Neria, Omer; Magidor, Menachem; Väänänen, Jouko
Publié dans:
arXiv, Numéro 8, 2023
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2305.07880
Auteurs:
Hannula, Miika
Publié dans:
arXiv, Numéro 1, 2023
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2309.11818
Auteurs:
Arnaud Durand, Juha Kontinen, Jouko Väänänen
Publié dans:
arXiv, Numéro 1, 2022
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2204.00576
Auteurs:
Miguel Moreno
Publié dans:
arXiv, 2023
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2308.07510
Auteurs:
Hannula, Miika
Publié dans:
arXiv, Numéro 1, 2023
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2310.01910
Auteurs:
Boban Velickovic, Jouko Väänänen
Publié dans:
arXiv, 2024, ISSN 2331-8422
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2402.13344
Auteurs:
Saharon Shelah; Jouko Väänänen
Publié dans:
Archive for Mathematical Logic, Numéro 62, 2023, Page(s) 207–223, ISSN 0933-5846
Éditeur:
Springer Verlag
DOI:
10.1007/s00153-022-00837-3
Auteurs:
Väänänen, Jouko
Publié dans:
Samson Abramsky on Logic and Structure in Computer Science and Beyond, Numéro 12, 2023, Page(s) 755-770, ISSN 2211-2766
Éditeur:
Springer
DOI:
10.48550/arxiv.2212.01658
Auteurs:
Pietro Galliani, Jouko Vaananen
Publié dans:
Annals of Mathematics and Artificial Intelligence, Numéro 90, 2021, Page(s) 211–233, ISSN 1012-2443
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s10472-021-09778-8
Auteurs:
Juliette Kennedy, Jouko Väänänen
Publié dans:
Bulletin of Symbolic Logic, Numéro 27(4), 2021, Page(s) 385 - 414, ISSN 1079-8986
Éditeur:
Cambridge University Press
DOI:
10.1017/bsl.2021.42
Auteurs:
Mirna Džamonja, Jouko Väänänen
Publié dans:
Israel Journal of Mathematics, Numéro 245, 2021, Page(s) 93-134, ISSN 0021-2172
Éditeur:
Magnes Press
DOI:
10.1007/s11856-021-2207-0
Auteurs:
Väänänen, Jouko
Publié dans:
Logic Journal of the IGPL, Numéro 31, 2022, Page(s) 1078–1083, ISSN 1368-9894
Éditeur:
Oxford University Press
DOI:
10.1093/jigpal/jzac074
Auteurs:
Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
Publié dans:
Archive for Mathematical Logic, Numéro 64, 2025, Page(s) 579-603, ISSN 0933-5846
Éditeur:
Springer Verlag
DOI:
10.1007/s00153-024-00955-0
Auteurs:
TAPANI HYTTINEN, MIGUEL MARTINS, TOMMASO MORASCHINI, DAVIDE E. QUADRELLARO
Publié dans:
The Journal of Symbolic Logic, 2024, Page(s) 1-16, ISSN 0022-4812
Éditeur:
Association for Symbolic Logic
DOI:
10.1017/jsl.2024.48
Auteurs:
Jouko Väänänen; Philip D. Welch
Publié dans:
h, Mathematical Logic Quarterly, Numéro 9, 2023, Page(s) 460-471, ISSN 0942-5616
Éditeur:
John Wiley & Sons Ltd.
DOI:
10.1002/malq.202200030
Auteurs:
Anttila, A.I.
Publié dans:
Numéro 3, 2025
Éditeur:
University of Amsterdam
Auteurs:
Hella, Lauri; Luosto, Kerkko; Väänänen, Jouko
Publié dans:
arXiv, Numéro 12, 2023, ISSN 2331-8422
Éditeur:
Cornell University
DOI:
10.48550/arxiv.2304.03354
Auteurs:
Maddy, Penelope; Väänänen, Jouko
Publié dans:
Elements in the Philosophy of Mathematics, Numéro 3, 2023, ISBN 9781009432894
Éditeur:
Cambridge University Press
DOI:
10.1017/9781009432894
Auteurs:
Jouko Vaananen
Publié dans:
Beyond First Order Model Theory, Numéro volume 2, 2023, Page(s) 289-304, ISBN 9780367208264
Éditeur:
CRC press
DOI:
10.1201/9780429263637
Auteurs:
Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema
Publié dans:
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Numéro 1, 2023, Page(s) 75–85, ISBN 978-1-956792-02-7
Éditeur:
JCAI Organization
DOI:
10.24963/kr.2023/8
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible