Browse by Journal
Up a level |
Jump to: 1998
Number of items: 1.
1998
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. |