© 1996-2019







4.6 Technical Reports

[173]

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/.

[174]

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

[175]

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

[176]

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/.

[177]

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.

[178]

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.

[179]

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.

[180]

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.

[181]

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

[182]

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







2019-06-11
Contact | Home | ITL home | Course | Proofs | Algebra | FL