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
Angelo Montanari‚ Gabriele Puppis and Pietro Sala