Computer Science Logic
From MaRDI portal
Publication:5394586
DOI10.1007/11538363zbMath1136.68452OpenAlexW2479351976MaRDI QIDQ5394586
Christian Delhommé, Bruno Courcelle
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11538363
Graph theory (including graph drawing) in computer science (68R10) Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70)
Related Items
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic ⋮ Counting Spanning Trees in Graphs Using Modular Decomposition ⋮ Graph decompositions definable in monadic second-order logic