Determinism and the Origins of Temporal Logic

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Standard

Determinism and the Origins of Temporal Logic. / Øhrstrøm, Peter; Braüner, Torben; Hasle, Per.

Advances in Temporal Logic. red. / Barring, H. ...[et al.] (eds.). 2000.

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Harvard

Øhrstrøm, P, Braüner, T & Hasle, P 2000, Determinism and the Origins of Temporal Logic. i Barring, H. ...[et al.] (eds.) (red.), Advances in Temporal Logic.

APA

Øhrstrøm, P., Braüner, T., & Hasle, P. (2000). Determinism and the Origins of Temporal Logic. I Barring, H. ...[et al.] (eds.) (red.), Advances in Temporal Logic

Vancouver

Øhrstrøm P, Braüner T, Hasle P. Determinism and the Origins of Temporal Logic. I Barring, H. ...[et al.] (eds.), red., Advances in Temporal Logic. 2000

Author

Øhrstrøm, Peter ; Braüner, Torben ; Hasle, Per. / Determinism and the Origins of Temporal Logic. Advances in Temporal Logic. red. / Barring, H. ...[et al.] (eds.). 2000.

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