Arnold.L. Rosenberg
Journal of the ACM
Paper
A Propositional Modal Logic of Time Intervals
Abstract
No abstract available.
Related
P. Trespeuch, Y. Fournier, et al.
Civil-Comp Proceedings
S. Winograd
Journal of the ACM
Alain Vaucher, Philippe Schwaller, et al.
AMLD EPFL 2022