Complexity Results for Modal Dependence Logic.

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Autoren

Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Seiten (von - bis)343-366
FachzeitschriftSTUD LOGICA
Jahrgang101
Ausgabenummer2
PublikationsstatusVeröffentlicht - 2013

Zitieren

Complexity Results for Modal Dependence Logic. / Lohmann, Peter; Vollmer, Heribert.
in: STUD LOGICA, Jahrgang 101, Nr. 2, 2013, S. 343-366.

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Lohmann P, Vollmer H. Complexity Results for Modal Dependence Logic. STUD LOGICA. 2013;101(2):343-366. doi: 10.1007/S11225-013-9483-6
Lohmann, Peter ; Vollmer, Heribert. / Complexity Results for Modal Dependence Logic. in: STUD LOGICA. 2013 ; Jahrgang 101, Nr. 2. S. 343-366.
Download
@article{188aef1fe2d440178ff1eb3354751291,
title = "Complexity Results for Modal Dependence Logic.",
keywords = "cs.LO, cs.CC, F.2.2; F.4.1",
author = "Peter Lohmann and Heribert Vollmer",
note = "Funding information:. This work was partly supported by the NTH Focused Research School for IT Ecosystems, by DFG VO 630/6-1, and by a DAAD PPP grant.",
year = "2013",
doi = "10.1007/S11225-013-9483-6",
language = "English",
volume = "101",
pages = "343--366",
journal = "STUD LOGICA",
issn = "0039-3215",
publisher = "Springer Netherlands",
number = "2",

}

Download

TY - JOUR

T1 - Complexity Results for Modal Dependence Logic.

AU - Lohmann, Peter

AU - Vollmer, Heribert

N1 - Funding information:. This work was partly supported by the NTH Focused Research School for IT Ecosystems, by DFG VO 630/6-1, and by a DAAD PPP grant.

PY - 2013

Y1 - 2013

KW - cs.LO

KW - cs.CC

KW - F.2.2; F.4.1

U2 - 10.1007/S11225-013-9483-6

DO - 10.1007/S11225-013-9483-6

M3 - Article

VL - 101

SP - 343

EP - 366

JO - STUD LOGICA

JF - STUD LOGICA

SN - 0039-3215

IS - 2

ER -

Von denselben Autoren