Details
Original language | English |
---|---|
Pages (from-to) | 409-421 |
Journal | IMA Journal of Applied Mathematics |
Volume | 8 |
Issue number | 4 |
Publication status | Published - 2010 |
Keywords
- cs.LO, cs.CC, F.4.1
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: IMA Journal of Applied Mathematics, Vol. 8, No. 4, 2010, p. 409-421.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - The complexity of satisfiability for fragments of hybrid logic - Part I.
AU - Meier, Arne
AU - Mundhenk, Martin
AU - Schneider, Thomas
AU - Thomas, Michael
AU - Weber, Volker
AU - Weiss, Felix
PY - 2010
Y1 - 2010
KW - cs.LO
KW - cs.CC
KW - F.4.1
U2 - 10.1016/J.JAL.2010.08.001
DO - 10.1016/J.JAL.2010.08.001
M3 - Article
VL - 8
SP - 409
EP - 421
JO - IMA Journal of Applied Mathematics
JF - IMA Journal of Applied Mathematics
SN - 0272-4960
IS - 4
ER -