Publication:3220637
From MaRDI portal
zbMath0556.05058MaRDI QIDQ3220637
Publication date: 1984
68Q25: Analysis of algorithms and problem complexity
05C10: Planar graphs; geometric and topological aspects of graph theory
05C75: Structural characterization of families of graphs
05C99: Graph theory
Related Items
The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability, The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues