Deciding Equations in the Time Warp Algebra

Sam van Gool, Adrien Guatto, George Metcalfe +1

Join-preserving maps on the discrete time scale ${\omega }^{+}$, referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in…