Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Generalised Tree Automata, Monadic Second Order Logic and Transfer Principles in Combinatorial Limits

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

On middle box products and paracompact cardinals

Auteurs: David Buhagiar and Mirna Dzamonja
Publié dans: Annals of Pure and Applied Logic, Numéro to appear, 2023, ISSN 0168-0072
Éditeur: Elsevier BV

Formal- ising Ordinal Partition Relations Using Isabelle/HOL (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mirna Dzamonja, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson FRS
Publié dans: Experimental Mathematics, Numéro vol. 31 No. 2, 2022, Page(s) 383-400, ISSN 1058-6458
Éditeur: A K Peters Ltd.
DOI: 10.1080/10586458.2021.1980464

Graphons arising from graphs definable over finite fields (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mirna Džamonja, Ivan Tomašić
Publié dans: Colloquium Mathematicum, Numéro vol. 169 No. 2, 2022, Page(s) 269-306, ISSN 0010-1354
Éditeur: Institute of Mathematics, Polish Academy of Sciences
DOI: 10.4064/cm8395-1-2022

Big Ramsey degrees in ultraproducts of finite structures

Auteurs: Dana Bartosova, Mirna Dzamonja, Rehana Patel and Lynn Scow
Publié dans: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Éditeur: Elsevier BV

Multiverse and the Society

Auteurs: Mirna Dzamonja
Publié dans: Handbook of the History and Philosophy of Mathematical Practice, 2023
Éditeur: Springer Cham

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0