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