Pol G. Recasens, Yue Zhu, et al.
EuroSys 2024
Paper
A Propositional Modal Logic of Time Intervals
Abstract
No abstract available.
Related
Joxan Jaffar
Journal of the ACM
Conference paper
Learning Reduced Order Dynamics via Geometric Representations
Imran Nasim, Melanie Weber
SCML 2024
Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972