Browse by Journal

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

Jump to: B | T

Number of items: 2.

B

Bowman, Howard, Cameron, Helen, King, Peter, Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. (KAR id:21471)

Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: International Conference on Temporal Logic 1997. (KAR id:21553)

This list was generated on Tue Apr 21 01:42:12 2026 BST.