| 2009 | ||
|---|---|---|
| 2 | Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss: The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. MFCS 2009: 587-599 | |
| 1 | Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss: The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I CoRR abs/0906.1489: (2009) | |
| 1 | Arne Meier | [1] [2] |
| 2 | Martin Mundhenk | [1] [2] |
| 3 | Thomas Schneider | [1] [2] |
| 4 | Michael Thomas | [1] [2] |
| 5 | Volker Weber | [1] [2] |