Determinism and the origins of temporal logic

Torben Braüner, P. Hasle, P. Øhrstrøm

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

Originalsprog	Engelsk
Titel	Advances in Temporal Logic
Redaktører	H. Barringer, M. Fisher, D. Gabbay, G. Gough
Forlag	Kluwer Academic Publishers
Publikationsdato	2000
Sider	185-206
Status	Udgivet - 2000

Citer dette

@inbook{0d6b3f8055cd11da99c9000ea68e967b,

title = "Determinism and the origins of temporal logic",

author = "Torben Bra{\"u}ner and P. Hasle and P. {\O}hrstr{\o}m",

year = "2000",

language = "English",

series = "Applied Logic Series",

publisher = "Kluwer Academic Publishers",

number = "16",

pages = "185--206",

editor = "H. Barringer and M. Fisher and D. Gabbay and G. Gough",

booktitle = "Advances in Temporal Logic",

}