Two Tableau-Based Decision Procedures for Hybrid Logic

Torben Braüner, Thomas Bolander

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    Titel4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194
    RedaktørerH. Schlingloff
    ForlagHumboldt-Universität zu Berlin
    Publikationsdato2005
    Sider79-96
    StatusUdgivet - 2005
    BegivenhedFourth International Workshop on Methods for Modalities - Berlin, Tyskland
    Varighed: 1 dec. 20052 dec. 2005
    Konferencens nummer: 4

    Workshop

    WorkshopFourth International Workshop on Methods for Modalities
    Nummer4
    LandTyskland
    ByBerlin
    Periode01/12/200502/12/2005

    Citer dette

    Braüner, T., & Bolander, T. (2005). Two Tableau-Based Decision Procedures for Hybrid Logic. I H. Schlingloff (red.), 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194 (s. 79-96). Humboldt-Universität zu Berlin.
    Braüner, Torben ; Bolander, Thomas. / Two Tableau-Based Decision Procedures for Hybrid Logic. 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. red. / H. Schlingloff. Humboldt-Universität zu Berlin, 2005. s. 79-96
    @inproceedings{0ddeca1052be11dba4bc000ea68e967b,
    title = "Two Tableau-Based Decision Procedures for Hybrid Logic",
    author = "Torben Bra{\"u}ner and Thomas Bolander",
    year = "2005",
    language = "English",
    pages = "79--96",
    editor = "H. Schlingloff",
    booktitle = "4th workshop {"}Methods for Modalities{"} (M4M), Informatik-Bericht Nr. 194",
    publisher = "Humboldt-Universit{\"a}t zu Berlin",

    }

    Braüner, T & Bolander, T 2005, Two Tableau-Based Decision Procedures for Hybrid Logic. i H Schlingloff (red.), 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. Humboldt-Universität zu Berlin, s. 79-96, Fourth International Workshop on Methods for Modalities, Berlin, Tyskland, 01/12/2005.

    Two Tableau-Based Decision Procedures for Hybrid Logic. / Braüner, Torben; Bolander, Thomas.

    4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. red. / H. Schlingloff. Humboldt-Universität zu Berlin, 2005. s. 79-96.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    TY - GEN

    T1 - Two Tableau-Based Decision Procedures for Hybrid Logic

    AU - Braüner, Torben

    AU - Bolander, Thomas

    PY - 2005

    Y1 - 2005

    M3 - Article in proceedings

    SP - 79

    EP - 96

    BT - 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194

    A2 - Schlingloff, H.

    PB - Humboldt-Universität zu Berlin

    ER -

    Braüner T, Bolander T. Two Tableau-Based Decision Procedures for Hybrid Logic. I Schlingloff H, red., 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. Humboldt-Universität zu Berlin. 2005. s. 79-96