scientific article; zbMATH DE number 1222610

zbMath0912.03004MaRDI QIDQ4218153

Oliver Matz

Publication date: 11 November 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

existential fragmentmonadic second-order logic over picture modelsquantifier alternation hierarchyword models

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Model theory of finite structures (03C13)

Related Items (5)

A logical approach to locality in pictures languages ⋮ Arity and alternation: a proper hierarchy in higher order logics ⋮ Recognizable vs. Regular Picture Languages ⋮ The monadic quantifier alternation hierarchy over grids and graphs ⋮ Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures

This page was built for publication: