You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I
|
---|---|
Chapter number | 50 |
Book title |
Mathematical Foundations of Computer Science 2009
|
Published in |
Lecture notes in computer science, January 2009
|
DOI | 10.1007/978-3-642-03816-7_50 |
Book ISBNs |
978-3-64-203815-0, 978-3-64-203816-7
|
Authors |
Meier, Arne, Mundhenk, Martin, Schneider, Thomas, Thomas, Michael, Weber, Volker, Weiss, Felix, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss |