Skip to main content
Un site web officiel de l’Union européenneUn site officiel de l’UE
European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Duality for Finite Models: Relating Structure and Power

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

A duality theoretic view on limits of finite structures: Extended version

Auteurs: Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Publié dans: Logical Methods in Computer Science, Numéro Volume 18, Numéro 1, 2022, Page(s) 1-16, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:16)2022

Beth definability and the Stone-Weierstrass Theorem

Auteurs: Luca Reggio
Publié dans: Annals of Pure and Applied Logic, Numéro vol. 172, issue 8, 2021, Page(s) article no 102990, ISSN 0168-0072
Éditeur: Elsevier BV
DOI: 10.1016/j.apal.2021.102990

Model completions for universal classes of algebras: necessary and sufficient conditions

Auteurs: Metcalfe, George; Reggio, Luca
Publié dans: Journal of Symbolic Logic, Numéro in press, 2022, ISSN 0022-4812
Éditeur: Association for Symbolic Logic
DOI: 10.1017/jsl.2022.1

Arboreal Categories and Resources

Auteurs: Abramsky, Samson; Reggio, Luca
Publié dans: 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
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2021.115

Lov\'asz-Type Theorems and Game Comonads

Auteurs: Dawar, Anuj; Jakl, Tomáš; Reggio, Luca
Publié dans: 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
Éditeur: Association for Computing Machinery
DOI: 10.1109/lics52264.2021.9470609

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

Auteurs: Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Publié dans: Outstanding Contributions to Logic: Samson Abramsky, 2022, ISSN 2211-2758
Éditeur: Springer

Recherche de données OpenAIRE...

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

Aucun résultat disponible