Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 409-421 |
| Fachzeitschrift | IMA Journal of Applied Mathematics |
| Jahrgang | 8 |
| Ausgabenummer | 4 |
| Publikationsstatus | Veröffentlicht - 2010 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
The complexity of satisfiability for fragments of hybrid logic - Part I. / Meier, Arne; Mundhenk, Martin; Schneider, Thomas et al.
in: IMA Journal of Applied Mathematics, Jahrgang 8, Nr. 4, 2010, S. 409-421.
in: IMA Journal of Applied Mathematics, Jahrgang 8, Nr. 4, 2010, S. 409-421.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
Meier, A, Mundhenk, M, Schneider, T, Thomas, M, Weber, V & Weiss, F 2010, 'The complexity of satisfiability for fragments of hybrid logic - Part I.', IMA Journal of Applied Mathematics, Jg. 8, Nr. 4, S. 409-421. https://doi.org/10.1016/J.JAL.2010.08.001
Meier, A., Mundhenk, M., Schneider, T., Thomas, M., Weber, V., & Weiss, F. (2010). The complexity of satisfiability for fragments of hybrid logic - Part I. IMA Journal of Applied Mathematics, 8(4), 409-421. https://doi.org/10.1016/J.JAL.2010.08.001
Meier A, Mundhenk M, Schneider T, Thomas M, Weber V, Weiss F. The complexity of satisfiability for fragments of hybrid logic - Part I. IMA Journal of Applied Mathematics. 2010;8(4):409-421. doi: 10.1016/J.JAL.2010.08.001
Download
@article{04f5e8119e174242b90a97582c37e3fc,
title = "The complexity of satisfiability for fragments of hybrid logic - Part I.",
keywords = "cs.LO, cs.CC, F.4.1",
author = "Arne Meier and Martin Mundhenk and Thomas Schneider and Michael Thomas and Volker Weber and Felix Weiss",
year = "2010",
doi = "10.1016/J.JAL.2010.08.001",
language = "English",
volume = "8",
pages = "409--421",
journal = "IMA Journal of Applied Mathematics",
issn = "0272-4960",
publisher = "Oxford University Press",
number = "4",
}
Download
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 -