Deciding first-order properties of locally tree-decomposable structures. (English) Zbl 1323.03014
MSC:
03B25 | Decidability of theories and sets of sentences |
03C07 | Basic properties of first-order languages and structures |
05C05 | Trees |
05C75 | Structural characterization of families of graphs |
68Q25 | Analysis of algorithms and problem complexity |
68Q60 | Specification and verification (program logics, model checking, etc.) |