Publication:4938635
From MaRDI portal
zbMath0939.03010MaRDI QIDQ4938635
Publication date: 23 February 2000
decidability; linear time algorithm; tree-width; first-order definable graph property; locally tree-decomposable graphs
05C05: Trees
68R10: Graph theory (including graph drawing) in computer science
03B25: Decidability of theories and sets of sentences
Related Items