TY  - RPRT
TI  - Deciding Equations in the Time Warp Algebra
AU  - Sam van Gool
AU  - Adrien Guatto
AU  - George Metcalfe
AU  - Simon Santschi
PY  - 2024
DO  - 10.46298/lmcs-20(1:8)2024
UR  - https://arxiv.org/abs/2302.04668
ID  - 2302.04668
ER  -