Samuel Jacob van Gool
Orcid: 0000-0002-6360-6363
According to our database1,
Samuel Jacob van Gool
authored at least 20 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
2023
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2022
Proceedings of the Foundations of Software Science and Computation Structures, 2022
2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
2018
2017
J. Symb. Log., 2017
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017
2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
2014
Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions.
Order, 2014
Proceedings of the Advances in Modal Logic 10, 2014
2013
Proceedings of the Logic, Language, and Computation, 2013
2010
2009
Proceedings of the Logic, Language and Meaning - 17th Amsterdam Colloquium, 2009