- 2004
[j4]
[j3]
Markus Frick:
Generalized Model-Checking over Locally Tree-Decomposable Classes. Theory Comput. Syst. 37(1): 157-191 (2004)
- 2003
[c5]
- 2002
[j2]
[c4]
Markus Frick,
Martin Grohe:
The Complexity of First-Order and Monadic Second-Order Logic Revisited. LICS 2002: 215-224
[c3]
Markus Frick:
Generalized Model-Checking over Locally Tree-Decomposable Classes. STACS 2002: 632-644
- 2001
[j1]
Markus Frick,
Martin Grohe:
Deciding first-order properties of locally tree-decomposable structures. J. ACM 48(6): 1184-1206 (2001)
[c2]
- 2000
[i1]
- 1999
[c1]
Markus Frick,
Martin Grohe:
Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs. ICALP 1999: 331-340
data released under the ODC-BY 1.0 license. See also our legal information page