scientific article; zbMATH DE number 1438757
From MaRDI portal
Publication:4951166
zbMath0938.68501MaRDI QIDQ4951166
Publication date: 4 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Classes of two-dimensional languages and recognizability conditions ⋮ Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces ⋮ Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures ⋮ Deterministic and unambiguous two-dimensional languages over one-letter alphabet