CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Samson Abramsky, Joni Puljujärvi, Jouko Väänänen
Opublikowane w:
arXiv, 2021
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2107.10817
Autorzy:
Juliette Kennedy, Menachem Magidor, Jouko Vaananen
Opublikowane w:
arXiv, Numer 1, 2021, ISSN 2010-1082
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2007.10766
Autorzy:
Teemu Hankala, Miika Hannula, Juha Kontinen
Opublikowane w:
arXiv, 2023, ISSN 2331-8422
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2305.11833
Autorzy:
Tapio Saarinen, Jouko Väänänen, Hugh Woodin
Opublikowane w:
arXiv, 2024
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2405.03428
Autorzy:
Siiri Kivimäki, Jouko Väänänen, Andres Villaveces
Opublikowane w:
arXiv, 2024, ISSN 2331-8422
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2108.13495
Autorzy:
Hannula, Miika; Hirvonen, Minna; Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Virtema, Jonni
Opublikowane w:
arXiv, Numer 1, 2023
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2306.00420
Autorzy:
Aleksi Anttila, Matilda Häggblom, Fan Yang
Opublikowane w:
arXiv, 2023
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2312.02285
Autorzy:
Tapani Hyttinen, Joni Puljujärvi, Davide Quadrellaro
Opublikowane w:
arXiv, 2024, ISSN 2331-8422
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2405.03785
Autorzy:
Ben-Neria, Omer; Magidor, Menachem; Väänänen, Jouko
Opublikowane w:
arXiv, Numer 8, 2023
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2305.07880
Autorzy:
Hannula, Miika
Opublikowane w:
arXiv, Numer 1, 2023
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2309.11818
Autorzy:
Arnaud Durand, Juha Kontinen, Jouko Väänänen
Opublikowane w:
arXiv, Numer 1, 2022
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2204.00576
Autorzy:
Miguel Moreno
Opublikowane w:
arXiv, 2023
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2308.07510
Autorzy:
Hannula, Miika
Opublikowane w:
arXiv, Numer 1, 2023
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2310.01910
Autorzy:
Boban Velickovic, Jouko Väänänen
Opublikowane w:
arXiv, 2024, ISSN 2331-8422
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2402.13344
Autorzy:
Saharon Shelah; Jouko Väänänen
Opublikowane w:
Archive for Mathematical Logic, Numer 62, 2023, Strona(/y) 207–223, ISSN 0933-5846
Wydawca:
Springer Verlag
DOI:
10.1007/s00153-022-00837-3
Autorzy:
Väänänen, Jouko
Opublikowane w:
Samson Abramsky on Logic and Structure in Computer Science and Beyond, Numer 12, 2023, Strona(/y) 755-770, ISSN 2211-2766
Wydawca:
Springer
DOI:
10.48550/arxiv.2212.01658
Autorzy:
Pietro Galliani, Jouko Vaananen
Opublikowane w:
Annals of Mathematics and Artificial Intelligence, Numer 90, 2021, Strona(/y) 211–233, ISSN 1012-2443
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10472-021-09778-8
Autorzy:
Juliette Kennedy, Jouko Väänänen
Opublikowane w:
Bulletin of Symbolic Logic, Numer 27(4), 2021, Strona(/y) 385 - 414, ISSN 1079-8986
Wydawca:
Cambridge University Press
DOI:
10.1017/bsl.2021.42
Autorzy:
Mirna Džamonja, Jouko Väänänen
Opublikowane w:
Israel Journal of Mathematics, Numer 245, 2021, Strona(/y) 93-134, ISSN 0021-2172
Wydawca:
Magnes Press
DOI:
10.1007/s11856-021-2207-0
Autorzy:
Väänänen, Jouko
Opublikowane w:
Logic Journal of the IGPL, Numer 31, 2022, Strona(/y) 1078–1083, ISSN 1368-9894
Wydawca:
Oxford University Press
DOI:
10.1093/jigpal/jzac074
Autorzy:
Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
Opublikowane w:
Archive for Mathematical Logic, Numer 64, 2025, Strona(/y) 579-603, ISSN 0933-5846
Wydawca:
Springer Verlag
DOI:
10.1007/s00153-024-00955-0
Autorzy:
TAPANI HYTTINEN, MIGUEL MARTINS, TOMMASO MORASCHINI, DAVIDE E. QUADRELLARO
Opublikowane w:
The Journal of Symbolic Logic, 2024, Strona(/y) 1-16, ISSN 0022-4812
Wydawca:
Association for Symbolic Logic
DOI:
10.1017/jsl.2024.48
Autorzy:
Jouko Väänänen; Philip D. Welch
Opublikowane w:
h, Mathematical Logic Quarterly, Numer 9, 2023, Strona(/y) 460-471, ISSN 0942-5616
Wydawca:
John Wiley & Sons Ltd.
DOI:
10.1002/malq.202200030
Autorzy:
Anttila, A.I.
Opublikowane w:
Numer 3, 2025
Wydawca:
University of Amsterdam
Autorzy:
Hella, Lauri; Luosto, Kerkko; Väänänen, Jouko
Opublikowane w:
arXiv, Numer 12, 2023, ISSN 2331-8422
Wydawca:
Cornell University
DOI:
10.48550/arxiv.2304.03354
Autorzy:
Maddy, Penelope; Väänänen, Jouko
Opublikowane w:
Elements in the Philosophy of Mathematics, Numer 3, 2023, ISBN 9781009432894
Wydawca:
Cambridge University Press
DOI:
10.1017/9781009432894
Autorzy:
Jouko Vaananen
Opublikowane w:
Beyond First Order Model Theory, Numer volume 2, 2023, Strona(/y) 289-304, ISBN 9780367208264
Wydawca:
CRC press
DOI:
10.1201/9780429263637
Autorzy:
Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema
Opublikowane w:
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Numer 1, 2023, Strona(/y) 75–85, ISBN 978-1-956792-02-7
Wydawca:
JCAI Organization
DOI:
10.24963/kr.2023/8
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników