Determinism and the origins of temporal logic

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

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    OriginalsprogEngelsk
    TitelAdvances in Temporal Logic
    RedaktørerH. Barringer, M. Fisher, D. Gabbay, G. Gough
    ForlagKluwer Academic Publishers
    Publikationsdato2000
    Sider185-206
    StatusUdgivet - 2000
    NavnApplied Logic Series
    Nummer16
    ISSN1386-2790

    Citer dette

    Braüner, T., Hasle, P., & Øhrstrøm, P. (2000). Determinism and the origins of temporal logic. I H. Barringer, M. Fisher, D. Gabbay, & G. Gough (red.), Advances in Temporal Logic (s. 185-206). Kluwer Academic Publishers. Applied Logic Series, Nr. 16
    Braüner, Torben ; Hasle, P. ; Øhrstrøm, P. / Determinism and the origins of temporal logic. Advances in Temporal Logic. red. / H. Barringer ; M. Fisher ; D. Gabbay ; G. Gough. Kluwer Academic Publishers, 2000. s. 185-206 (Applied Logic Series; Nr. 16).
    @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",
    pages = "185--206",
    editor = "H. Barringer and M. Fisher and D. Gabbay and G. Gough",
    booktitle = "Advances in Temporal Logic",
    publisher = "Kluwer Academic Publishers",

    }

    Braüner, T, Hasle, P & Øhrstrøm, P 2000, Determinism and the origins of temporal logic. i H Barringer, M Fisher, D Gabbay & G Gough (red), Advances in Temporal Logic. Kluwer Academic Publishers, Applied Logic Series, nr. 16, s. 185-206.

    Determinism and the origins of temporal logic. / Braüner, Torben; Hasle, P.; Øhrstrøm, P.

    Advances in Temporal Logic. red. / H. Barringer; M. Fisher; D. Gabbay; G. Gough. Kluwer Academic Publishers, 2000. s. 185-206.

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    TY - CHAP

    T1 - Determinism and the origins of temporal logic

    AU - Braüner, Torben

    AU - Hasle, P.

    AU - Øhrstrøm, P.

    PY - 2000

    Y1 - 2000

    M3 - Book chapter

    SP - 185

    EP - 206

    BT - Advances in Temporal Logic

    A2 - Barringer, H.

    A2 - Fisher, M.

    A2 - Gabbay, D.

    A2 - Gough, G.

    PB - Kluwer Academic Publishers

    ER -

    Braüner T, Hasle P, Øhrstrøm P. Determinism and the origins of temporal logic. I Barringer H, Fisher M, Gabbay D, Gough G, red., Advances in Temporal Logic. Kluwer Academic Publishers. 2000. s. 185-206. (Applied Logic Series; Nr. 16).