Sam van Gool

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 13

Top Topics

Quantifier Elimination

Image Interpolation

Relational Algebra

Top Venues

Publications

Sam van Gool, Jérémie Marquès
On duality and model theory for polyadic spaces. Ann. Pure Appl. Log. 175 (2) (2024)
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL. IJCAR (2) (2024)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Deciding Equations in the Time Warp Algebra. Log. Methods Comput. Sci. 20 (1) (2024)
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
Mechanised uniform interpolation for modal logics K, GL and iSL. CoRR (2024)
Hugo Férée, Sam van Gool
Formalizing and Computing Propositional Quantifiers. CPP (2023)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Deciding Equations in the Time Warp Algebra. CoRR (2023)
Sam van Gool, Paul-André Melliès, Vincent Moreau
Profinite lambda-terms and parametricity. CoRR (2023)
Thomas Colcombet, Sam van Gool, Rémi Morvan
First-order separation over countable ordinals. CoRR (2022)
Mai Gehrke, Sam van Gool
Topological duality for distributive lattices, and applications. CoRR (2022)
Thomas Colcombet, Sam van Gool, Rémi Morvan
First-order separation over countable ordinals. FoSSaCS (2022)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Time Warps, from Algebra to Algorithms. RAMiCS (2021)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Time Warps, from Algebra to Algorithms. CoRR (2021)
Silvio Ghilardi, Sam van Gool
Monadic second order logic as the model companion of temporal logic. LICS (2016)
Sam van Gool
Duality and canonical extensions for stably compact spaces CoRR (2010)
Floris Roelofsen, Sam van Gool
Disjunctive Questions, Intonation, and Highlighting. Amsterdam Colloquium on Logic, Language and Meaning (2009)