Publication:4218153
From MaRDI portal
zbMath0912.03004MaRDI QIDQ4218153
Publication date: 11 November 1998
existential fragment; monadic second-order logic over picture models; quantifier alternation hierarchy; word models
Related Items
Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures, A logical approach to locality in pictures languages, Arity and alternation: a proper hierarchy in higher order logics, The monadic quantifier alternation hierarchy over grids and graphs, Recognizable vs. Regular Picture Languages