Towards constructive hybrid logic (extended abstract)

Torben Braüner, Valeria de Paiva

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    TitelWorkshop Proceedings of Methods for Modalities 3
    RedaktørerC. Areces, P. Blackburn
    ForlagINRIA
    Publikationsdato2003
    StatusUdgivet - 2003
    BegivenhedThird International Workshop on Methods for Modalities - Nancy, Frankrig
    Varighed: 22 sep. 200323 sep. 2003
    Konferencens nummer: 3

    Workshop

    WorkshopThird International Workshop on Methods for Modalities
    Nummer3
    LandFrankrig
    ByNancy
    Periode22/09/200323/09/2003

    Citer dette

    Braüner, T., & de Paiva, V. (2003). Towards constructive hybrid logic (extended abstract). I C. Areces, & P. Blackburn (red.), Workshop Proceedings of Methods for Modalities 3 INRIA.