Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 8
Number of items: 8
  • Gehrke, M., & v. Gool, S. J. (2018). Sheaves and Duality. Journal of Pure and Applied Algebra, 222(8), 2164-2180. https://doi.org/10.1016/j.jpaa.2017.09.004
  • v. Gool, S. J., & Reggio, L. (2018). An open mapping theorem for finitely copresented Esakia spaces. Topology and its Applications, 240, 69-77. https://doi.org/10.1016/j.topol.2018.03.006
  • van Gool, S. J., Metcalfe, G., & Tsinakis, C. (2017). Uniform Interpolation and Compact Congruences. Annals of Pure and Applied Logic, 168(10), 1927-1948. https://doi.org/10.1016/j.apal.2017.05.001
  • Open Access
    v. Gool, S. J., & Steinberg, B. (2017). Pro-aperiodic monoids via saturated models. In H. Vollmer, & B. Vallée (Eds.), 34th Symposium on Theoretical Aspects of Computer Science: STACS 2017, March 8-11, 2017, Hannover, Germany Article 39 (Leibniz International Proceedings in Informatics; Vol. 66). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2017.39
  • Open Access
    Ghilardi, S., & van Gool, S. J. (2017). A model-theoretic characterization of monadic second-order logic on infinite words. Journal of Symbolic Logic, 82(1), 62-76. https://doi.org/10.1017/jsl.2016.70
  • Ghilardi, S., & van Gool, S. (2016). Monadic second order logic as the model companion of temporal logic. In Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA (pp. 417-426). The Association for Computing Machinery. https://doi.org/10.1145/2933575.2933609
  • Bezhanishvili, N., Coumans, D., van Gool, S. J., & de Jongh, D. (2015). Duality and universal models for the meet-implication fragment of IPC. In M. Aher, D. Hole, E. Jeřábek, & C. Kupke (Eds.), Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: revised selected papers (pp. 97-116). (Lecture Notes in Computer Science; Vol. 8984). Springer. https://doi.org/10.1007/978-3-662-46906-4_7
  • Open Access
    Roelofsen, F., & van Gool, S. (2010). Disjunctive questions, intonation, and highlighting. In M. Aloni, H. Bastiaanse, T. de Jager, & K. Schulz (Eds.), Logic, Language and Meaning: 17th Amsterdam Colloquium : Amsterdam, The Netherlands, December 16-18, 2009 : revised selected papers (pp. 384-394). (Lecture Notes in Computer Science; Vol. 6042), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-14287-1_39
Page of