scientific article
From MaRDI portal
Publication:2957485
DOI10.4230/LIPIcs.FSTTCS.2012.112zbMath1354.68122MaRDI QIDQ2957485
Publication date: 26 January 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Structural characterization of families of graphs (05C75) Decidability of theories and sets of sentences (03B25)
Related Items (4)
On low tree-depth decompositions ⋮ Unnamed Item ⋮ Width, depth, and space: tradeoffs between branching and dynamic programming ⋮ Uniformly Automatic Classes of Finite Structures
This page was built for publication:
