Duality For Logic On Words

Informazioni relative al progetto

DFLOW

ID dell’accordo di sovvenzione: 655941

DOI

10.3030/655941

Progetto chiuso

Data della firma CE 12 Ottobre 2015

Data di avvio 1 Gennaio 2016

Data di completamento 31 Dicembre 2018

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 242 929,80

Contributo UE

€ 242 929,80

Coordinato da

UNIVERSITEIT VAN AMSTERDAM
Netherlands

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (2)

Pro-Aperiodic Monoids via Saturated Models

Autori: Samuel J. v. Gool and Benjamin Steinberg
Pubblicato in: 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), 2017, Pagina/e 39:1--39:14, ISBN 978-3-95977-028-6
Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2017.39

Monadic second order logic as the model companion of temporal logic

Autori: Silvio Ghilardi and Samuel J. v. Gool
Pubblicato in: Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016), 2016, Pagina/e 417--426
Editore: IEEE Computer Society Press

Peer reviewed articles (5)

Uniform interpolation and compact congruences

Autori: Samuel J. van Gool, George Metcalfe, Constantine Tsinakis
Pubblicato in: Annals of Pure and Applied Logic, Numero 168/10, 2017, Pagina/e 1927-1948, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2017.05.001

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

Autori: SILVIO GHILARDI, SAMUEL J. VAN GOOL
Pubblicato in: The Journal of Symbolic Logic, Numero 82/01, 2017, Pagina/e 62-76, ISSN 0022-4812
Editore: Association for Symbolic Logic
DOI: 10.1017/jsl.2016.70

Sheaves and duality

Autori: Mai Gehrke, Samuel J. v. Gool
Pubblicato in: Journal of Pure and Applied Algebra, 2017, ISSN 0022-4049
Editore: Elsevier BV
DOI: 10.1016/j.jpaa.2017.09.004

An open mapping theorem for finitely copresented Esakia spaces

Autori: Samuel J. v. Gool, Luca Reggio
Pubblicato in: Topology and its Applications, Numero 240, 2018, Pagina/e 69-77, ISSN 0166-8641
Editore: Elsevier BV
DOI: 10.1016/j.topol.2018.03.006

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

Autori: Samuel J. van Gool, Benjamin Steinberg
Pubblicato in: Canadian Mathematical Bulletin, 2019, Pagina/e 1-10, ISSN 0008-4395
Editore: Canadian Mathematical Society
DOI: 10.4153/cmb-2018-014-8