Skip to main content

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals

Angelo Montanari‚ Gabriele Puppis and Pietro Sala

Journal
ICALP'10: Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming
Year
2010