Publikacje Conference proceedings (2) Pro-Aperiodic Monoids via Saturated Models Autorzy: Samuel J. v. Gool and Benjamin Steinberg Opublikowane w: 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), 2017, Strona(/y) 39:1--39:14, ISBN 978-3-95977-028-6 Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik DOI: 10.4230/LIPIcs.STACS.2017.39 Monadic second order logic as the model companion of temporal logic Autorzy: Silvio Ghilardi and Samuel J. v. Gool Opublikowane w: Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016), 2016, Strona(/y) 417--426 Wydawca: IEEE Computer Society Press Peer reviewed articles (5) Uniform interpolation and compact congruences Autorzy: Samuel J. van Gool, George Metcalfe, Constantine Tsinakis Opublikowane w: Annals of Pure and Applied Logic, Numer 168/10, 2017, Strona(/y) 1927-1948, ISSN 0168-0072 Wydawca: Elsevier BV DOI: 10.1016/j.apal.2017.05.001 A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS Autorzy: SILVIO GHILARDI, SAMUEL J. VAN GOOL Opublikowane w: The Journal of Symbolic Logic, Numer 82/01, 2017, Strona(/y) 62-76, ISSN 0022-4812 Wydawca: Association for Symbolic Logic DOI: 10.1017/jsl.2016.70 Sheaves and duality Autorzy: Mai Gehrke, Samuel J. v. Gool Opublikowane w: Journal of Pure and Applied Algebra, 2017, ISSN 0022-4049 Wydawca: Elsevier BV DOI: 10.1016/j.jpaa.2017.09.004 An open mapping theorem for finitely copresented Esakia spaces Autorzy: Samuel J. v. Gool, Luca Reggio Opublikowane w: Topology and its Applications, Numer 240, 2018, Strona(/y) 69-77, ISSN 0166-8641 Wydawca: Elsevier BV DOI: 10.1016/j.topol.2018.03.006 Merge Decompositions, Two-sided Krohn–Rhodes, and Aperiodic Pointlikes Autorzy: Samuel J. van Gool, Benjamin Steinberg Opublikowane w: Canadian Mathematical Bulletin, 2019, Strona(/y) 1-10, ISSN 0008-4395 Wydawca: Canadian Mathematical Society DOI: 10.4153/cmb-2018-014-8 Wyszukiwanie danych OpenAIRE... Podczas wyszukiwania danych OpenAIRE wystąpił błąd Brak wyników
