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