Determinism and the Origins of Temporal Logic

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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	Temporal Logicc : Proceedings of the Secong Internationale Conference, ICTL '98 : Applied Logic Series
Forlag	Kluwer Academic Publishers
Publikationsdato	1998
Status	Udgivet - 1998
Begivenhed	Determinism and the Origins of Temporal Logic - Varighed: 19 maj 2010 → …

Konference	Determinism and the Origins of Temporal Logic
Periode	19/05/2010 → …

AUB Link

@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",

note = "Determinism and the Origins of Temporal Logic ; Conference date: 19-05-2010",

}