© 1996-2019

4.6 Technical Reports


Howard Bowman and Simon J. Thompson. A Complete Axiomatization of Interval Temporal Logic with Projection. Technical Report 6-00. Canterbury, Great Britain: Computing Laboratory, University of Kent, Jan. 2000, p. 52.
url: https://kar.kent.ac.uk/22055/.


Wang Hanpin and Xu Qiwen. Temporal logics over infinite intervals. Tech. rep. 158. Macau: UNU/IIST, 1999.


Stephan Merz. “An Encoding of TLA in Isabelle”. https://members.loria.fr/SMerz/projects/isabelle-tla/index.html. Part of the Isabelle distribution. 1998.


Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. Mexitl: Multimedia in Executable Interval Temporal Logic. Tech. rep. 3-97. Computing Laboratory, University of Kent at Canterbury, May 1997.
url: https://kar.kent.ac.uk/14016/.


Antonio Cau and Ben Moszkowski. Using PVS for Interval Temporal Logic Proofs. Part 1: The syntactic and semantic encoding. Technical monograph 14. Download pdf. Leicester: SERCentre, De Montfort University, 1996.


Ben Moszkowski. Compositional Reasoning about Projected and Infinite time. Tech. rep. EE/0495/M1. Newcastle upon Type, UK: Dept. of Elec. and Elec. Eng., Univ. of Newcastle, UK, Apr. 1995.


Ben Moszkowski. Embedding Imperative Constructs in Interval Temporal Logic. Tech. rep. Internal memorandum EE/0895/M1. Newcastle upon Type, UK: Dept. of Elec. and Elec. Eng., Univ. of Newcastle, UK, Aug. 1995.


Bruno Dutertre. On first order interval temporal logic. Tech. rep. CSD-TR-94-3. Egham, Surrey TW20 0EX, England: Dept. of Computer Science, Royal Holloway, University of London, 1994.


Ben Moszkowski. Some very compositional temporal properties. Tech. rep. 466. Dept. of Computing Science, University of Newcastle, Dec. 1993.


Ben Moszkowski. Executing Temporal Logic Programs. Tech. rep. 55. Computer Laboratory, University of Cambridge, 1984.

Contact | Home | ITL home | Course | Proofs | Algebra | FL