European Commission logo
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Duality for Finite Models: Relating Structure and Power

Publicaciones

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

Autores: Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Publicado en: Logical Methods in Computer Science, Edición Volume 18, Edición 1, 2022, Página(s) 1-16, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:16)2022

Beth definability and the Stone-Weierstrass Theorem

Autores: Luca Reggio
Publicado en: Annals of Pure and Applied Logic, Edición vol. 172, issue 8, 2021, Página(s) article no 102990, ISSN 0168-0072
Editor: Elsevier BV
DOI: 10.1016/j.apal.2021.102990

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

Autores: Metcalfe, George; Reggio, Luca
Publicado en: Journal of Symbolic Logic, Edición in press, 2022, ISSN 0022-4812
Editor: Association for Symbolic Logic
DOI: 10.1017/jsl.2022.1

Arboreal Categories and Resources

Autores: Abramsky, Samson; Reggio, Luca
Publicado en: Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 2021, Página(s) 115:1--115:20, ISBN 978-3-95977-195-5
Editor: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2021.115

Lov\'asz-Type Theorems and Game Comonads

Autores: Dawar, Anuj; Jakl, Tomáš; Reggio, Luca
Publicado en: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Página(s) 1-13, ISBN 978-1-6654-4895-6
Editor: Association for Computing Machinery
DOI: 10.1109/lics52264.2021.9470609

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

Autores: Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Publicado en: Outstanding Contributions to Logic: Samson Abramsky, 2022, ISSN 2211-2758
Editor: Springer

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles