-
1
-
-
84855189307
-
Recognizability, hypergraph operations and logical types
-
Blumensath A., and Courcelle B. Recognizability, hypergraph operations and logical types. Information and Computation 204 6 (2006) 853-919
-
(2006)
Information and Computation
, vol.204
, Issue.6
, pp. 853-919
-
-
Blumensath, A.1
Courcelle, B.2
-
2
-
-
84896754098
-
Polynomial-time recognition of clique-width ≤3 graphs
-
Latin American Symposium on Theoretical Informatics. Gonnet G.H., Panario D., and Viola A. (Eds), Springer
-
Corneil D.G., Habib M., Lanlignel J.M., Reed B., and Rotics U. Polynomial-time recognition of clique-width ≤3 graphs. In: Gonnet G.H., Panario D., and Viola A. (Eds). Latin American Symposium on Theoretical Informatics. LNCS vol. 1776 (2000), Springer 126-134
-
(2000)
LNCS
, vol.1776
, pp. 126-134
-
-
Corneil, D.G.1
Habib, M.2
Lanlignel, J.M.3
Reed, B.4
Rotics, U.5
-
3
-
-
24344452559
-
On the relationship between clique-width and tree-width
-
Corneil D.G., and Rotics U. On the relationship between clique-width and tree-width. SIAM Journal on Computing 34 4 (2005) 825-847
-
(2005)
SIAM Journal on Computing
, vol.34
, Issue.4
, pp. 825-847
-
-
Corneil, D.G.1
Rotics, U.2
-
4
-
-
0026885661
-
The monadic second-order logic of graphs VII: Graphs as relational structures
-
Courcelle B. The monadic second-order logic of graphs VII: Graphs as relational structures. Theoretical Computer Science 101 1 (1992) 3-33
-
(1992)
Theoretical Computer Science
, vol.101
, Issue.1
, pp. 3-33
-
-
Courcelle, B.1
-
5
-
-
0347006480
-
Graph grammars, monadic second-order logic and the theory of graph minors
-
Graph Structure Theory. Robertson N., and Seymour P. (Eds), AMS
-
Courcelle B. Graph grammars, monadic second-order logic and the theory of graph minors. In: Robertson N., and Seymour P. (Eds). Graph Structure Theory. Contemporary Mathematics vol. 147 (1993), AMS 565-590
-
(1993)
Contemporary Mathematics
, vol.147
, pp. 565-590
-
-
Courcelle, B.1
-
6
-
-
0000090439
-
The expression of graph properties and graph transformations in monadic second-order logic
-
Rozenberg G. (Ed), World Scientific
-
Courcelle B. The expression of graph properties and graph transformations in monadic second-order logic. In: Rozenberg G. (Ed). Handbook of Graph Grammars and Computing by Graph Transformations (1997), World Scientific 313-400
-
(1997)
Handbook of Graph Grammars and Computing by Graph Transformations
, pp. 313-400
-
-
Courcelle, B.1
-
7
-
-
38549177883
-
Graph operations characterizing rank-width and balanced graph expressions
-
Graph-Theoretic Concepts in Computer Science. Brandstädt A., Kratsch D., and Müller H. (Eds), Springer
-
Courcelle B., and Kanté M.M. Graph operations characterizing rank-width and balanced graph expressions. In: Brandstädt A., Kratsch D., and Müller H. (Eds). Graph-Theoretic Concepts in Computer Science. LNCS vol. 4769 (2007), Springer 66-75
-
(2007)
LNCS
, vol.4769
, pp. 66-75
-
-
Courcelle, B.1
Kanté, M.M.2
-
8
-
-
59749103500
-
-
B. Courcelle, M.M. Kanté, Balanced graph expressions, 2007. Manuscript
-
B. Courcelle, M.M. Kanté, Balanced graph expressions, 2007. Manuscript
-
-
-
-
9
-
-
0034399867
-
Linear-time solvable optimization problems on graphs of bounded clique-width
-
Courcelle B., Makowsky J.A., and Rotics U. Linear-time solvable optimization problems on graphs of bounded clique-width. Theory of Computing Systems 33 2 (2000) 125-150
-
(2000)
Theory of Computing Systems
, vol.33
, Issue.2
, pp. 125-150
-
-
Courcelle, B.1
Makowsky, J.A.2
Rotics, U.3
-
10
-
-
0002015577
-
Upper bounds to the clique-width of graphs
-
Courcelle B., and Olariu S. Upper bounds to the clique-width of graphs. Discrete Applied Mathematics 101 1-3 (2000) 77-114
-
(2000)
Discrete Applied Mathematics
, vol.101
, Issue.1-3
, pp. 77-114
-
-
Courcelle, B.1
Olariu, S.2
-
11
-
-
38049139049
-
Compact forbidden-set routing
-
Symposium on Theoretical Aspects of Computer Science. Thomas W., and Weil P. (Eds), Springer
-
Courcelle B., and Twigg A. Compact forbidden-set routing. In: Thomas W., and Weil P. (Eds). Symposium on Theoretical Aspects of Computer Science. LNCS vol. 4393 (2007), Springer 37-48
-
(2007)
LNCS
, vol.4393
, pp. 37-48
-
-
Courcelle, B.1
Twigg, A.2
-
12
-
-
0041861272
-
Query efficient implementation of graphs of bounded clique-width
-
Courcelle B., and Vanicat R. Query efficient implementation of graphs of bounded clique-width. Discrete Applied Mathematics 131 1 (2003) 129-150
-
(2003)
Discrete Applied Mathematics
, vol.131
, Issue.1
, pp. 129-150
-
-
Courcelle, B.1
Vanicat, R.2
-
13
-
-
23944474041
-
The recognizability of sets of graphs is a robust property
-
Courcelle B., and Weil P. The recognizability of sets of graphs is a robust property. Theoretical Computer Science 342 2-3 (2005) 173-228
-
(2005)
Theoretical Computer Science
, vol.342
, Issue.2-3
, pp. 173-228
-
-
Courcelle, B.1
Weil, P.2
-
14
-
-
0003677229
-
-
Springer-Verlag Readable for free on: http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/
-
Diestel R. Graph Theory. 3rd edition (2005), Springer-Verlag Readable for free on: http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/
-
(2005)
Graph Theory. 3rd edition
-
-
Diestel, R.1
-
17
-
-
33748114479
-
Clique-width minimization is np-hard
-
Kleinberg J.M. (Ed), ACM
-
Fellows M., Rosamond F.A., Rotics U., and Szeider S. Clique-width minimization is np-hard. In: Kleinberg J.M. (Ed). Symposium on Theory of Computing (2006), ACM 354-362
-
(2006)
Symposium on Theory of Computing
, pp. 354-362
-
-
Fellows, M.1
Rosamond, F.A.2
Rotics, U.3
Szeider, S.4
-
19
-
-
84957808228
-
MONA: Monadic second-order logic in practice
-
Tools and Algorithms for Construction and Analysis of Systems. Brinksma E., Cleaveland R., Larsen K.G., Margaria T., and Steffen B. (Eds), Springer
-
Henriksen J.G., Jensen J.L., Jørgensen M.E., Klarlund N., Paige R., Rauhe T., and Sandholm A. MONA: Monadic second-order logic in practice. In: Brinksma E., Cleaveland R., Larsen K.G., Margaria T., and Steffen B. (Eds). Tools and Algorithms for Construction and Analysis of Systems. LNCS vol. 1019 (1995), Springer 89-110
-
(1995)
LNCS
, vol.1019
, pp. 89-110
-
-
Henriksen, J.G.1
Jensen, J.L.2
Jørgensen, M.E.3
Klarlund, N.4
Paige, R.5
Rauhe, T.6
Sandholm, A.7
-
20
-
-
38049011945
-
Finding branch-decompositions and rank-decompositions
-
European Symposium on Algorithms. Arge L., Hoffmann M., and Welzl E. (Eds), Springer
-
Hliněný P., and Oum S. Finding branch-decompositions and rank-decompositions. In: Arge L., Hoffmann M., and Welzl E. (Eds). European Symposium on Algorithms. LNCS vol. 4698 (2007), Springer 163-174
-
(2007)
LNCS
, vol.4698
, pp. 163-174
-
-
Hliněný, P.1
Oum, S.2
-
21
-
-
4043101495
-
Clique-decomposition, NLC-decomposition and modular decomposition - Relationships and results for random graphs
-
Johansson Ö. Clique-decomposition, NLC-decomposition and modular decomposition - Relationships and results for random graphs. Congressus Numerantium 132 (1998) 39-60
-
(1998)
Congressus Numerantium
, vol.132
, pp. 39-60
-
-
Johansson, Ö.1
-
22
-
-
34648820344
-
Vertex-minor reductions can simulate edge contractions
-
Kanté M.M. Vertex-minor reductions can simulate edge contractions. Discrete Applied Mathematics 155 17 (2007) 2328-2340
-
(2007)
Discrete Applied Mathematics
, vol.155
, Issue.17
, pp. 2328-2340
-
-
Kanté, M.M.1
-
23
-
-
59749106188
-
-
M.M. Kanté, The rank-width of directed graphs (2008) (submitted for publication). ArXiv: http://arxiv.org/abs/0709.1433
-
M.M. Kanté, The rank-width of directed graphs (2008) (submitted for publication). ArXiv: http://arxiv.org/abs/0709.1433
-
-
-
-
25
-
-
1642322895
-
Algorithmic uses of the Feferman-Vaught Theorem
-
Makowsky J.A. Algorithmic uses of the Feferman-Vaught Theorem. Annals of Pure and Applied Logic 126 1-3 (2004) 159-213
-
(2004)
Annals of Pure and Applied Logic
, vol.126
, Issue.1-3
, pp. 159-213
-
-
Makowsky, J.A.1
-
26
-
-
40049109944
-
Rank-width is less than or equal to branch-width
-
Oum S. Rank-width is less than or equal to branch-width. Journal of Graph Theory 57 3 (2007) 239-244
-
(2007)
Journal of Graph Theory
, vol.57
, Issue.3
, pp. 239-244
-
-
Oum, S.1
-
31
-
-
0039301943
-
k-NLC graphs and polynomial algorithms
-
Wanke E. k-NLC graphs and polynomial algorithms. Discrete Applied Mathematics 54 2-3 (1994) 251-266
-
(1994)
Discrete Applied Mathematics
, vol.54
, Issue.2-3
, pp. 251-266
-
-
Wanke, E.1
|