Duality For Logic On Words

Informations projet

DFLOW

N° de convention de subvention: 655941

DOI

10.3030/655941

Projet clôturé

Date de signature de la CE 12 Octobre 2015

Date de début 1 Janvier 2016

Date de fin 31 Decembre 2018

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 242 929,80

Contribution de l’UE

€ 242 929,80

Coordonné par

UNIVERSITEIT VAN AMSTERDAM
Netherlands

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

Conference proceedings (2)

Pro-Aperiodic Monoids via Saturated Models

Auteurs: Samuel J. v. Gool and Benjamin Steinberg
Publié dans: 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), 2017, Page(s) 39:1--39:14, ISBN 978-3-95977-028-6
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2017.39

Monadic second order logic as the model companion of temporal logic

Auteurs: Silvio Ghilardi and Samuel J. v. Gool
Publié dans: Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016), 2016, Page(s) 417--426
Éditeur: IEEE Computer Society Press

Peer reviewed articles (5)

Uniform interpolation and compact congruences

Auteurs: Samuel J. van Gool, George Metcalfe, Constantine Tsinakis
Publié dans: Annals of Pure and Applied Logic, Numéro 168/10, 2017, Page(s) 1927-1948, ISSN 0168-0072
Éditeur: Elsevier BV
DOI: 10.1016/j.apal.2017.05.001

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

Auteurs: SILVIO GHILARDI, SAMUEL J. VAN GOOL
Publié dans: The Journal of Symbolic Logic, Numéro 82/01, 2017, Page(s) 62-76, ISSN 0022-4812
Éditeur: Association for Symbolic Logic
DOI: 10.1017/jsl.2016.70

Sheaves and duality

Auteurs: Mai Gehrke, Samuel J. v. Gool
Publié dans: Journal of Pure and Applied Algebra, 2017, ISSN 0022-4049
Éditeur: Elsevier BV
DOI: 10.1016/j.jpaa.2017.09.004

An open mapping theorem for finitely copresented Esakia spaces

Auteurs: Samuel J. v. Gool, Luca Reggio
Publié dans: Topology and its Applications, Numéro 240, 2018, Page(s) 69-77, ISSN 0166-8641
Éditeur: Elsevier BV
DOI: 10.1016/j.topol.2018.03.006

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

Auteurs: Samuel J. van Gool, Benjamin Steinberg
Publié dans: Canadian Mathematical Bulletin, 2019, Page(s) 1-10, ISSN 0008-4395
Éditeur: Canadian Mathematical Society
DOI: 10.4153/cmb-2018-014-8