Compound Logics for Modification Problems

Keyphrases

• Treewidth 100%
• First-order Logic 66%
• Graph Modification 66%
• Large Families 33%
• Logic Model Checking 33%
• Quadratic Time 33%
• Sentence Type 33%
• Problem Instances 33%
• Theory Framework 33%
• Edge Removal 33%
• Model Theory 33%
• Graph-based 33%
• Constructibility 33%
• Cutting Problem 33%
• Graph Minors 33%
• Monadic Second-order Logic 33%
• Bounded Treewidth 33%
• Elimination Distance 33%
• Graph Minor Theory 33%
• Irrelevant Vertex Technique 33%
• Courcelle's Theorem 33%

Computer Science

• Model Checking 100%
• Quadratic Time 100%
• Theoretic Framework 100%
• Problem Instance 100%
• Second-Order Logic 100%
• Resulting Graph 100%

Mathematics

• Minor Theorem 100%