scientific article; zbMATH DE number 1223636
From MaRDI portal
Publication:4218948
zbMath0909.03009MaRDI QIDQ4218948
Publication date: 15 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
expressive powerEhrenfeucht-Fraïssé gamemonadic second-order logic over two-dimensional gridsmonadic second-order quantifier alternation hierarchynonexpressibility
Graph theory (including graph drawing) in computer science (68R10) Complexity of computation (including implicit computational complexity) (03D15)
Related Items (7)
A logical approach to locality in pictures languages ⋮ Tree-width and the monadic quantifier hierarchy. ⋮ Recognizable vs. Regular Picture Languages ⋮ Second-order propositional modal logic and monadic alternation hierarchies ⋮ The monadic quantifier alternation hierarchy over grids and graphs ⋮ Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures ⋮ The closure of monadic NP
This page was built for publication:
