Browse by Journal
Up a level |
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
Bowman, Howard, Thompson, Simon (1998) A Tableaux Method for Interval Temporal Logic with Projection. In: TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods. Lecture Notes In Computer Science , 1397 (1397). pp. 108-123. Springer-Verlag ISBN 3-540-64406-7. |