Deciding Equations in the Time Warp Algebra

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi. Deciding Equations in the Time Warp Algebra. Logical Methods in Computer Science, 20(1), 2024. [doi]

Abstract

Abstract is missing.