Determinism and the Origins of Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Standard
Determinism and the Origins of Temporal Logic. / Øhrstrøm, Peter; Braüner, Torben; Hasle, Per.
Advances in Temporal Logic. ed. / Barring, H. ...[et al.] (eds.). 2000.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Øhrstrøm, P, Braüner, T & Hasle, P 2000, Determinism and the Origins of Temporal Logic. in Barring, H. ...[et al.] (eds.) (ed.), Advances in Temporal Logic.
APA
Øhrstrøm, P., Braüner, T., & Hasle, P. (2000). Determinism and the Origins of Temporal Logic. In Barring, H. ...[et al.] (eds.) (Ed.), Advances in Temporal Logic
Vancouver
Øhrstrøm P, Braüner T, Hasle P. Determinism and the Origins of Temporal Logic. In Barring, H. ...[et al.] (eds.), editor, Advances in Temporal Logic. 2000
Author
Bibtex
@inbook{105b6db560634f2ba2650c5b03f6f5c7,
title = "Determinism and the Origins of Temporal Logic",
author = "Peter {\O}hrstr{\o}m and Torben Bra{\"u}ner and Per Hasle",
year = "2000",
language = "English",
editor = "{Barring, H. ...[et al.] (eds.)}",
booktitle = "Advances in Temporal Logic",
}
RIS
TY - CHAP
T1 - Determinism and the Origins of Temporal Logic
AU - Øhrstrøm, Peter
AU - Braüner, Torben
AU - Hasle, Per
PY - 2000
Y1 - 2000
M3 - Book chapter
BT - Advances in Temporal Logic
A2 - Barring, H. ...[et al.] (eds.), null
ER -
ID: 167127050