B. Moszkowski. A hierarchical completeness proof for interval temporal logic with finite time (preliminary version). In V. Goranko and A. Montanari, editors, Proc. of the ESSLLI Workshop on Interval Temporal Logics and Duration Calculi, pages 41--65, 2003. 34 Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Road Map on Interval Temporal Logics and Duration Calculi - Goranko, Montanari.. (2003) (Correct)
No context found.
B. Moszkowski. A hierarchical completeness proof for interval temporal logic with finite time (preliminary version). In V. Goranko and A. Montanari, editors, Proc. of the ESSLLI Workshop on Interval Temporal Logics and Duration Calculi, pages 41--65, 2003. 34
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC