Determinism and the Origins of Temporal Logic

Torben Braüner, Per Hasle, Peter Øhrstrøm

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelTemporal Logicc : Proceedings of the Secong Internationale Conference, ICTL '98 : Applied Logic Series
ForlagKluwer Academic Publishers
Publikationsdato1998
StatusUdgivet - 1998
BegivenhedDeterminism and the Origins of Temporal Logic -
Varighed: 19 maj 2010 → …

Konference

KonferenceDeterminism and the Origins of Temporal Logic
Periode19/05/2010 → …

Citer dette

Braüner, T., Hasle, P., & Øhrstrøm, P. (1998). Determinism and the Origins of Temporal Logic. I Temporal Logicc : Proceedings of the Secong Internationale Conference, ICTL '98: Applied Logic Series Kluwer Academic Publishers.
Braüner, Torben ; Hasle, Per ; Øhrstrøm, Peter. / Determinism and the Origins of Temporal Logic. Temporal Logicc : Proceedings of the Secong Internationale Conference, ICTL '98: Applied Logic Series. Kluwer Academic Publishers, 1998.
@inproceedings{43c00d109c2e11db8ed6000ea68e967b,
title = "Determinism and the Origins of Temporal Logic",
author = "Torben Bra{\"u}ner and Per Hasle and Peter {\O}hrstr{\o}m",
year = "1998",
language = "English",
booktitle = "Temporal Logicc : Proceedings of the Secong Internationale Conference, ICTL '98",
publisher = "Kluwer Academic Publishers",

}

Braüner, T, Hasle, P & Øhrstrøm, P 1998, Determinism and the Origins of Temporal Logic. i Temporal Logicc : Proceedings of the Secong Internationale Conference, ICTL '98: Applied Logic Series. Kluwer Academic Publishers, Determinism and the Origins of Temporal Logic, 19/05/2010.

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

Temporal Logicc : Proceedings of the Secong Internationale Conference, ICTL '98: Applied Logic Series. Kluwer Academic Publishers, 1998.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

TY - GEN

T1 - Determinism and the Origins of Temporal Logic

AU - Braüner, Torben

AU - Hasle, Per

AU - Øhrstrøm, Peter

PY - 1998

Y1 - 1998

M3 - Article in proceeding

BT - Temporal Logicc : Proceedings of the Secong Internationale Conference, ICTL '98

PB - Kluwer Academic Publishers

ER -

Braüner T, Hasle P, Øhrstrøm P. Determinism and the Origins of Temporal Logic. I Temporal Logicc : Proceedings of the Secong Internationale Conference, ICTL '98: Applied Logic Series. Kluwer Academic Publishers. 1998