Deciding Equations in the Time Warp Algebra
From MaRDI portal
Publication:6508763
DOI10.46298/LMCS-20(1:8)2024zbMatharXiv:2302.04668MaRDI QIDQ6508763
Simon Santschi, Samuel J. van Gool, Adrien Guatto, George Metcalfe
Publication date: 1 January 1
This page was built for publication: Deciding Equations in the Time Warp Algebra