-
3
-
-
0000100916
-
Deciding first-order properties of locally tree-decomposable structures
-
Frick M., and Grohe M. Deciding first-order properties of locally tree-decomposable structures. Journal of the ACM 48 6 (2001) 1184-1206
-
(2001)
Journal of the ACM
, vol.48
, Issue.6
, pp. 1184-1206
-
-
Frick, M.1
Grohe, M.2
-
4
-
-
0024053329
-
Nonconstructive tools for proving polynomial-time decidability
-
Fellows M.R., and Langston M.A. Nonconstructive tools for proving polynomial-time decidability. Journal of the ACM 35 3 (1988) 727-739
-
(1988)
Journal of the ACM
, vol.35
, Issue.3
, pp. 727-739
-
-
Fellows, M.R.1
Langston, M.A.2
-
5
-
-
0006945261
-
The metamathematics of the graph minor theorem
-
Logic and Combinatorics, Amer. Math. Soc., Providence, RI
-
Friedman H., Robertson N., and Seymour P. The metamathematics of the graph minor theorem. Logic and Combinatorics. Contemp. Math. vol. 65 (1987), Amer. Math. Soc., Providence, RI 229-261
-
(1987)
Contemp. Math.
, vol.65
, pp. 229-261
-
-
Friedman, H.1
Robertson, N.2
Seymour, P.3
-
7
-
-
0000809609
-
Graph rewriting: an algebraic and logic approach
-
Elsevier, Amsterdam
-
Courcelle B. Graph rewriting: an algebraic and logic approach. Handbook of Theoretical Computer Science vol. B (1990), Elsevier, Amsterdam 193-242
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 193-242
-
-
Courcelle, B.1
-
8
-
-
0004455288
-
Quickly excluding a planar graph
-
Robertson N., Seymour P.D., and Thomas R. Quickly excluding a planar graph. Journal of Combinatorial Theory, Series B 62 2 (1994) 323-348
-
(1994)
Journal of Combinatorial Theory, Series B
, vol.62
, Issue.2
, pp. 323-348
-
-
Robertson, N.1
Seymour, P.D.2
Thomas, R.3
-
9
-
-
33748916530
-
-
E. Amir, Efficient approximation for triangulation of minimum treewidth, in: Proc. 17th Conf. Uncertainty in Artificial Intelligence, 2001, pp. 7-15
-
-
-
-
11
-
-
1842539297
-
-
E.D. Demaine, F.V. Fomin, M. Hajiaghayi, D.M. Thilikos, Subexponential parameterized algorithms on graphs of bounded genus and H-minor-free graphs, in: Proc. 15th ACM-SIAM Sympos. Discrete Algorithms, 2004, pp. 823-832
-
-
-
-
12
-
-
20744459687
-
Bidimensional parameters and local treewidth
-
Demaine E.D., Fomin F.V., Hajiaghayi M., and Thilikos D.M. Bidimensional parameters and local treewidth. SIAM Journal on Discrete Mathematics 18 3 (2004) 501-511
-
(2004)
SIAM Journal on Discrete Mathematics
, vol.18
, Issue.3
, pp. 501-511
-
-
Demaine, E.D.1
Fomin, F.V.2
Hajiaghayi, M.3
Thilikos, D.M.4
-
13
-
-
20744433043
-
-
E.D. Demaine, M. Hajiaghayi, Bidimensionality: New connections between FPT algorithms and PTASs, in: Proc. 16th Ann. ACM-SIAM Sympos. Discrete Algorithms, Vancouver, 2005, pp. 590-601
-
-
-
|