Deciding Equations in the Time Warp Algebra
van Gool, Sam, Guatto, Adrien, Metcalfe, George, Santschi, Simon
Published in Logical methods in computer science (01.01.2024)
Published in Logical methods in computer science (01.01.2024)
Get full text
Journal Article
Profinite lambda-terms and parametricity
van Gool, Sam, Melliès, Paul-André, Moreau, Vincent
Published in Electronic Notes in Theoretical Informatics and Computer Science (23.11.2023)
Published in Electronic Notes in Theoretical Informatics and Computer Science (23.11.2023)
Get full text
Journal Article
Monadic second order logic as the model companion of temporal logic
Ghilardi, Silvio, van Gool, Sam
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Monadic second order logic as the model companion of temporal logic
Ghilardi, Silvio, Gool, Sam van
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Get full text
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Conference Proceeding
Time Warps, from Algebra to Algorithms
van Gool, Sam, Guatto, Adrien, Metcalfe, George, Santschi, Simon
Published in Relational and Algebraic Methods in Computer Science (2021)
Published in Relational and Algebraic Methods in Computer Science (2021)
Get full text
Book Chapter