Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B

Number of items: 1.

B

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.

Preview

This list was generated on Thu Sep 5 23:27:45 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0