Journal article icon

Journal article

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

Actions


Access Document


Files:

Authors



Journal:
ICALP'10: Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming More from this journal
Publication date:
2010-01-01


UUID:
uuid:072cca63-1978-412d-8c5d-b68cdad61bdc
Local pid:
cs:3956
Deposit date:
2015-03-31

Terms of use



Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP