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