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.
    Braüner, Torben ; de Paiva, Valeria. / Towards constructive hybrid logic (extended abstract). Workshop Proceedings of Methods for Modalities 3. red. / C. Areces ; P. Blackburn. INRIA, 2003.
    @inproceedings{03312d6052be11dba4bc000ea68e967b,
    title = "Towards constructive hybrid logic (extended abstract)",
    author = "Torben Bra{\"u}ner and {de Paiva}, Valeria",
    year = "2003",
    language = "English",
    editor = "C. Areces and P. Blackburn",
    booktitle = "Workshop Proceedings of Methods for Modalities 3",
    publisher = "INRIA",

    }

    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, Third International Workshop on Methods for Modalities , Nancy, Frankrig, 22/09/2003.

    Towards constructive hybrid logic (extended abstract). / Braüner, Torben; de Paiva, Valeria.

    Workshop Proceedings of Methods for Modalities 3. red. / C. Areces; P. Blackburn. INRIA, 2003.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    TY - GEN

    T1 - Towards constructive hybrid logic (extended abstract)

    AU - Braüner, Torben

    AU - de Paiva, Valeria

    PY - 2003

    Y1 - 2003

    M3 - Article in proceedings

    BT - Workshop Proceedings of Methods for Modalities 3

    A2 - Areces, C.

    A2 - Blackburn, P.

    PB - INRIA

    ER -

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