CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Veröffentlichungen
Autoren:
Samson Abramsky, Joni Puljujärvi, Jouko Väänänen
Veröffentlicht in:
arXiv, 2021
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2107.10817
Autoren:
Juliette Kennedy, Menachem Magidor, Jouko Vaananen
Veröffentlicht in:
arXiv, Ausgabe 1, 2021, ISSN 2010-1082
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2007.10766
Autoren:
Teemu Hankala, Miika Hannula, Juha Kontinen
Veröffentlicht in:
arXiv, 2023, ISSN 2331-8422
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2305.11833
Autoren:
Tapio Saarinen, Jouko Väänänen, Hugh Woodin
Veröffentlicht in:
arXiv, 2024
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2405.03428
Autoren:
Siiri Kivimäki, Jouko Väänänen, Andres Villaveces
Veröffentlicht in:
arXiv, 2024, ISSN 2331-8422
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2108.13495
Autoren:
Hannula, Miika; Hirvonen, Minna; Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Virtema, Jonni
Veröffentlicht in:
arXiv, Ausgabe 1, 2023
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2306.00420
Autoren:
Aleksi Anttila, Matilda Häggblom, Fan Yang
Veröffentlicht in:
arXiv, 2023
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2312.02285
Autoren:
Tapani Hyttinen, Joni Puljujärvi, Davide Quadrellaro
Veröffentlicht in:
arXiv, 2024, ISSN 2331-8422
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2405.03785
Autoren:
Ben-Neria, Omer; Magidor, Menachem; Väänänen, Jouko
Veröffentlicht in:
arXiv, Ausgabe 8, 2023
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2305.07880
Autoren:
Hannula, Miika
Veröffentlicht in:
arXiv, Ausgabe 1, 2023
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2309.11818
Autoren:
Arnaud Durand, Juha Kontinen, Jouko Väänänen
Veröffentlicht in:
arXiv, Ausgabe 1, 2022
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2204.00576
Autoren:
Miguel Moreno
Veröffentlicht in:
arXiv, 2023
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2308.07510
Autoren:
Hannula, Miika
Veröffentlicht in:
arXiv, Ausgabe 1, 2023
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2310.01910
Autoren:
Boban Velickovic, Jouko Väänänen
Veröffentlicht in:
arXiv, 2024, ISSN 2331-8422
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2402.13344
Autoren:
Saharon Shelah; Jouko Väänänen
Veröffentlicht in:
Archive for Mathematical Logic, Ausgabe 62, 2023, Seite(n) 207–223, ISSN 0933-5846
Herausgeber:
Springer Verlag
DOI:
10.1007/s00153-022-00837-3
Autoren:
Väänänen, Jouko
Veröffentlicht in:
Samson Abramsky on Logic and Structure in Computer Science and Beyond, Ausgabe 12, 2023, Seite(n) 755-770, ISSN 2211-2766
Herausgeber:
Springer
DOI:
10.48550/arxiv.2212.01658
Autoren:
Pietro Galliani, Jouko Vaananen
Veröffentlicht in:
Annals of Mathematics and Artificial Intelligence, Ausgabe 90, 2021, Seite(n) 211–233, ISSN 1012-2443
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10472-021-09778-8
Autoren:
Juliette Kennedy, Jouko Väänänen
Veröffentlicht in:
Bulletin of Symbolic Logic, Ausgabe 27(4), 2021, Seite(n) 385 - 414, ISSN 1079-8986
Herausgeber:
Cambridge University Press
DOI:
10.1017/bsl.2021.42
Autoren:
Mirna Džamonja, Jouko Väänänen
Veröffentlicht in:
Israel Journal of Mathematics, Ausgabe 245, 2021, Seite(n) 93-134, ISSN 0021-2172
Herausgeber:
Magnes Press
DOI:
10.1007/s11856-021-2207-0
Autoren:
Väänänen, Jouko
Veröffentlicht in:
Logic Journal of the IGPL, Ausgabe 31, 2022, Seite(n) 1078–1083, ISSN 1368-9894
Herausgeber:
Oxford University Press
DOI:
10.1093/jigpal/jzac074
Autoren:
Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
Veröffentlicht in:
Archive for Mathematical Logic, Ausgabe 64, 2025, Seite(n) 579-603, ISSN 0933-5846
Herausgeber:
Springer Verlag
DOI:
10.1007/s00153-024-00955-0
Autoren:
TAPANI HYTTINEN, MIGUEL MARTINS, TOMMASO MORASCHINI, DAVIDE E. QUADRELLARO
Veröffentlicht in:
The Journal of Symbolic Logic, 2024, Seite(n) 1-16, ISSN 0022-4812
Herausgeber:
Association for Symbolic Logic
DOI:
10.1017/jsl.2024.48
Autoren:
Jouko Väänänen; Philip D. Welch
Veröffentlicht in:
h, Mathematical Logic Quarterly, Ausgabe 9, 2023, Seite(n) 460-471, ISSN 0942-5616
Herausgeber:
John Wiley & Sons Ltd.
DOI:
10.1002/malq.202200030
Autoren:
Anttila, A.I.
Veröffentlicht in:
Ausgabe 3, 2025
Herausgeber:
University of Amsterdam
Autoren:
Hella, Lauri; Luosto, Kerkko; Väänänen, Jouko
Veröffentlicht in:
arXiv, Ausgabe 12, 2023, ISSN 2331-8422
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2304.03354
Autoren:
Maddy, Penelope; Väänänen, Jouko
Veröffentlicht in:
Elements in the Philosophy of Mathematics, Ausgabe 3, 2023, ISBN 9781009432894
Herausgeber:
Cambridge University Press
DOI:
10.1017/9781009432894
Autoren:
Jouko Vaananen
Veröffentlicht in:
Beyond First Order Model Theory, Ausgabe volume 2, 2023, Seite(n) 289-304, ISBN 9780367208264
Herausgeber:
CRC press
DOI:
10.1201/9780429263637
Autoren:
Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema
Veröffentlicht in:
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Ausgabe 1, 2023, Seite(n) 75–85, ISBN 978-1-956792-02-7
Herausgeber:
JCAI Organization
DOI:
10.24963/kr.2023/8
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor