Simon Santschi

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Computationally Expensive

Relation Algebra

Benchmark Datasets

Rule Generation

Top Venues

Log. Methods Comput. Sci.

Publications

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Deciding Equations in the Time Warp Algebra. Log. Methods Comput. Sci. 20 (1) (2024)
Wesley Fussner, George Metcalfe, Simon Santschi
Interpolation and the Exchange Rule. CoRR (2023)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Deciding Equations in the Time Warp Algebra. CoRR (2023)
Wesley Fussner, Simon Santschi
Interpolation in Linear Logic and Related Systems. CoRR (2023)
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)