Searching for authors named "Martin Grohe" – sorted by Relevance.
63 documents found, showing 1 through 10.
Next 10 →
-
Some remarks on finite Löwenheim-Skolem theorems
- …Some remarks on finite Löwenheim-Skolem theorems Martin Grohe ∗ September 1995 † Abstract. We…
- Add To MetaCart
-
Descriptive and Parameterized Complexity
- …Descriptive and Parameterized Complexity Martin Grohe Institut fur Mathematische Logik, Eckerstr…
- Cited by 3 (1 self) – Add To MetaCart
-
Parameterized complexity for the database theorist
- …Parameterized Complexity for the Database Theorist Martin Grohe Division of Informatics…
- Cited by 12 (1 self) – Add To MetaCart
-
Large Finite Structures with Few L k -Types
- …LARGE FINITE STRUCTURES WITH FEW L k -TYPES MARTIN GROHE ABSTRACT. For any k 3, we prove…
- Cited by 8 (2 self) – Add To MetaCart
-
Canonization for ...-Equivalence is Hard
- …Canonization for L k -equivalence is hard Martin Grohe Institut fur Mathematische Logik…
- Cited by 3 (2 self) – Add To MetaCart
-
Arity Hierarchies
- …Arity Hierarchies Martin Grohe Abstract Many logics considered in nite model theory have a…
- Cited by 4 (2 self) – Add To MetaCart
-
The structure of tractable constraint satisfaction problems
- …The structure of tractable constraint satisfaction problems Martin Grohe Institut für Informatik…
- Cited by 1 (0 self) – Add To MetaCart
-
Computing crossing numbers in quadratic time
- …Computing Crossing Numbers in Quadratic Time Martin Grohe£ November 29, 2002 Abstract We show…
- Cited by 15 (0 self) – Add To MetaCart
-
Local tree-width, excluded minors, and approximation algorithms
- …Local tree-width, excluded minors, and approximation algorithms Martin Grohe£ ltw��Æ�Æ University…
- Cited by 36 (3 self) – Add To MetaCart
-
Complete problems for fixed--point logics
- …Complete Problems for Fixed–Point Logics Martin Grohe Abteilung für mathematische Logik und…
- Cited by 8 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
