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.) |
