Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 1.

Conference or workshop item

Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: Barringer, Howard, ed. Advances in temporal logic. Applied Logic. Kluwer pp. 377-390.

Preview

Preview

This list was generated on Thu May 23 21:01:32 2013 BST.