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]

Authors

Sam van Gool

This author has not been identified. Look up 'Sam van Gool' in Google

Adrien Guatto

This author has not been identified. Look up 'Adrien Guatto' in Google

George Metcalfe

This author has not been identified. Look up 'George Metcalfe' in Google

Simon Santschi

This author has not been identified. Look up 'Simon Santschi' in Google