scientific article; zbMATH DE number 1223635
From MaRDI portal
Publication:4218947
zbMATH Open0914.03006MaRDI QIDQ4218947
Publication date: 15 November 1998
Title of this publication is not available (Why is that?)
automata theorymonadic second-order logicfinite graphsgraphs of bounded tree-widthhierarchical graph decompositions
Related Items (5)
Title not available (Why is that?) ⋮ The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability ⋮ Title not available (Why is that?) ⋮ The monadic quantifier alternation hierarchy over grids and graphs ⋮ Monadic second-order logic, graph coverings and unfoldings of transition systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4218947)
