Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Journal

[up] Up a level
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: 1997
Number of items: 2.

1997

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)
Format: Postscript Format: PDF

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)
Format: Other Format: PDF

This list was generated on Thu Jun 6 22:28:24 2024 BST.
SensusAccess
Feedback