 | Up a level |
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
Van Gool, Samuel Jacob; Metcalfe, George; Tsinakis, Constantine (2017). Uniform Interpolation and Compact Congruences. Annals of pure and applied logic, 168(10), pp. 1927-1948. Elsevier 10.1016/j.apal.2017.05.001
Van Gool, Samuel Jacob; Gehrke, Mai; Marra, Vincenzo (2014). Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality. Journal of algebra, 417, pp. 290-332. Elsevier 10.1016/j.jalgebra.2014.06.031
