Towards constructive hybrid logic

Torben Braüner, Valeria de Paiva

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

    OriginalsprogEngelsk
    Udgivelses stedRoskilde
    ForlagRoskilde Universitet
    Antal sider26
    StatusUdgivet - 2003
    NavnDatalogiske Skrifter
    Nummer97
    ISSN0109-9779

    Citer dette

    Braüner, T., & de Paiva, V. (2003). Towards constructive hybrid logic. Roskilde: Roskilde Universitet. Datalogiske Skrifter, Nr. 97
    Braüner, Torben ; de Paiva, Valeria. / Towards constructive hybrid logic. Roskilde : Roskilde Universitet, 2003. 26 s. (Datalogiske Skrifter; Nr. 97).
    @book{f02cb54052bd11dba4bc000ea68e967b,
    title = "Towards constructive hybrid logic",
    author = "Torben Bra{\"u}ner and {de Paiva}, Valeria",
    year = "2003",
    language = "English",
    publisher = "Roskilde Universitet",

    }

    Braüner, T & de Paiva, V 2003, Towards constructive hybrid logic. Datalogiske Skrifter, nr. 97, Roskilde Universitet, Roskilde.

    Towards constructive hybrid logic. / Braüner, Torben; de Paiva, Valeria.

    Roskilde : Roskilde Universitet, 2003. 26 s. (Datalogiske Skrifter; Nr. 97).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

    TY - RPRT

    T1 - Towards constructive hybrid logic

    AU - Braüner, Torben

    AU - de Paiva, Valeria

    PY - 2003

    Y1 - 2003

    M3 - Report

    BT - Towards constructive hybrid logic

    PB - Roskilde Universitet

    CY - Roskilde

    ER -

    Braüner T, de Paiva V. Towards constructive hybrid logic. Roskilde: Roskilde Universitet, 2003. 26 s. (Datalogiske Skrifter; Nr. 97).