scientific article

DOI10.4230/LIPICS.FSTTCS.2010.13zbMath1245.68133MaRDI QIDQ2908834

No author found.

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_697d.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monadic second-order logicmodel-checkingfixed-parameter tractabilityspecial tree-width

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Courcelle's theorem -- a game-theoretic approach ⋮ Practical algorithms for MSO model-checking on tree-decomposable graphs ⋮ Unnamed Item

Uses Software

• Unnamed Item

This page was built for publication: