scientific article
From MaRDI portal
Publication:2904773
DOI10.4230/LIPIcs.STACS.2012.326zbMath1245.68107MaRDI QIDQ2904773
Jan Obdržálek, Somnath Sikdar, Alexander Langer, Petr Hliněný, Robert Ganian, Peter Rossmanith
Publication date: 23 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (2)
Digraph width measures in parameterized algorithmics ⋮ Practical algorithms for MSO model-checking on tree-decomposable graphs
This page was built for publication:
