Duality For Logic On Words

Información del proyecto

DFLOW

Identificador del acuerdo de subvención: 655941

DOI

10.3030/655941

Proyecto cerrado

Fecha de la firma de la CE 12 Octubre 2015

Fecha de inicio 1 Enero 2016

Fecha de finalización 31 Diciembre 2018

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 242 929,80

Aportación de la UE

€ 242 929,80

Coordinado por

UNIVERSITEIT VAN AMSTERDAM
Netherlands

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (2)

Pro-Aperiodic Monoids via Saturated Models

Autores: Samuel J. v. Gool and Benjamin Steinberg
Publicado en: 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), 2017, Página(s) 39:1--39:14, ISBN 978-3-95977-028-6
Editor: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2017.39

Monadic second order logic as the model companion of temporal logic

Autores: Silvio Ghilardi and Samuel J. v. Gool
Publicado en: Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016), 2016, Página(s) 417--426
Editor: IEEE Computer Society Press

Peer reviewed articles (5)

Uniform interpolation and compact congruences

Autores: Samuel J. van Gool, George Metcalfe, Constantine Tsinakis
Publicado en: Annals of Pure and Applied Logic, Edición 168/10, 2017, Página(s) 1927-1948, ISSN 0168-0072
Editor: Elsevier BV
DOI: 10.1016/j.apal.2017.05.001

A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS

Autores: SILVIO GHILARDI, SAMUEL J. VAN GOOL
Publicado en: The Journal of Symbolic Logic, Edición 82/01, 2017, Página(s) 62-76, ISSN 0022-4812
Editor: Association for Symbolic Logic
DOI: 10.1017/jsl.2016.70

Sheaves and duality

Autores: Mai Gehrke, Samuel J. v. Gool
Publicado en: Journal of Pure and Applied Algebra, 2017, ISSN 0022-4049
Editor: Elsevier BV
DOI: 10.1016/j.jpaa.2017.09.004

An open mapping theorem for finitely copresented Esakia spaces

Autores: Samuel J. v. Gool, Luca Reggio
Publicado en: Topology and its Applications, Edición 240, 2018, Página(s) 69-77, ISSN 0166-8641
Editor: Elsevier BV
DOI: 10.1016/j.topol.2018.03.006

Merge Decompositions, Two-sided Krohn–Rhodes, and Aperiodic Pointlikes

Autores: Samuel J. van Gool, Benjamin Steinberg
Publicado en: Canadian Mathematical Bulletin, 2019, Página(s) 1-10, ISSN 0008-4395
Editor: Canadian Mathematical Society
DOI: 10.4153/cmb-2018-014-8