 |
Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
1 : Department of Informatics, University of Bergen, Norway
2 : AlGCo project team, LIRMM, Univ Montpellier, CNRS, Montpellier, France
Université de Montpellier : UMR5506
3 : AlGCo project team, LIRMM, Univ Montpellier, CNRS, Montpellier, France
Centre National de la Recherche Scientifique - CNRS
| Type : | : | oral |
| Thématiques | : | |
| Mots-Clés | : | Algorithmic Meta Theorems ; First Order Logic ; Monadic Second Order Logic ; Graph Minors ; Irrelevant Vertex Technique |
| PDF version | : |  PDF version |
