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. Applied Logic Series . Kluwer (KAR id:21471)

+1 more...

T

Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: Barringer, Howard, ed. International Conference on Temporal Logic. Applied Logic . pp. 377-390. Kluwer (KAR id:21553)

This list was generated on Thu May 9 23:10:35 2024 BST.