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 Universitet. Datalogiske Skrifter, Nr. 97