Up a level |
van Gool, Sam; Guatto, Adrien; Metcalfe, George; Santschi, Simon (2024). Deciding Equations in the Time Warp Algebra. Logical methods in computer science, 20(1) Department of Theoretical Computer Science, Technical University of Braunschweig 10.46298/lmcs-20(1:8)2024
Santschi, Simon (2024). Semilinear idempotent distributive ℓ-monoids. Journal of pure and applied algebra, 228(6) Elsevier 10.1016/j.jpaa.2024.107627
Colacito, Almudena; Galatos, Nikolaos; Metcalfe, George; Santschi, Simon (2022). From L-Groups to Distributive L-Monoids, and Back Again. Journal of algebra, 601, pp. 129-148. Elsevier 10.1016/j.jalgebra.2022.02.012
Van Gool, Samuel; Guatto, Adrien; Metcalfe, George; Santschi, Simon (2021). Time Warps, from Algebra to Algorithms. In: Fahrenberg, Uli; Gehrke, Mai; Santocanale, Luigi; Winter, Michael (eds.) Relational and Algebraic Methods in Computer Science. Lecture Notes in Computer Science: Vol. 13027 (pp. 309-324). Switzerland: Springer 10.1007/978-3-030-88701-8_19