Loading [MathJax]/extensions/tex2jax.js

The complexity of satisfiability for fragments of hybrid logic - Part I.

Research output: Contribution to journalArticleResearchpeer review

Authors

  • Arne Meier
  • Martin Mundhenk
  • Thomas Schneider
  • Michael Thomas

External Research Organisations

  • Friedrich Schiller University Jena
  • TU Dortmund University
  • University of Manchester

Details

Original languageEnglish
Pages (from-to)409-421
JournalIMA Journal of Applied Mathematics
Volume8
Issue number4
Publication statusPublished - 2010

Keywords

    cs.LO, cs.CC, F.4.1

Cite this

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, Vol. 8, No. 4, 2010, p. 409-421.

Research output: Contribution to journalArticleResearchpeer review

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
Meier, Arne ; Mundhenk, Martin ; Schneider, Thomas et al. / The complexity of satisfiability for fragments of hybrid logic - Part I. In: IMA Journal of Applied Mathematics. 2010 ; Vol. 8, No. 4. pp. 409-421.
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 -

By the same author(s)