Searching for authors named "Markus Frick" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Oracles and Quantifiers
- …Oracles and Quantifiers Markus Frick Institut fur Mathematische Logik Universitat Freiburg frick…
- Cited by 1 (0 self) – Add To MetaCart
-
Generalized Model-Checking Over Locally Tree-Decomposable Classes
- …Generalized model-checking over locally tree-decomposable classes Markus Frick Institut fur…
- Cited by 3 (0 self) – Add To MetaCart
-
Deciding First-Order Properties of Locally Tree-Decomposable Graphs
- …Deciding rst-order properties of locally tree-decomposable graphs Markus Frick and Martin Grohe…
- Cited by 49 (9 self) – Add To MetaCart
-
The Complexity of First-order and Monadic Second-order Logic Revisited
- …The complexity of first-order and monadic second-order logic revisited Markus Frick Martin Grohe…
- Cited by 33 (6 self) – Add To MetaCart
-
Query Evaluation on Compressed Trees
- … ∗ Markus Frick † Martin Grohe ‡ Christoph Koch § ∗ This article is a long version of the extended abstract…
- Cited by 19 (7 self) – Add To MetaCart
-
Query Evaluation on Compressed Trees (Extended Abstract)
- …,grohe}@(email omitted);, koch@(email omitted); Query Evaluation on Compressed Trees ∗ (Extended Abstract) Markus Frick Martin…
- Cited by 6 (0 self) – Add To MetaCart
-
Query Evaluation Via Tree-Decompositions
- …Query evaluation via tree-decompositions Jorg Flum Markus Frick Martin Grohe Institut fur…
- Add To MetaCart
-
Easy Instances for Model Checking
- …Easy Instances for Model Checking Markus Frick Dissertation zur Erlangung des Doktorgrades der…
- Cited by 5 (1 self) – Add To MetaCart
Showing 1 through 8.
