scientific article; zbMATH DE number 1222579
From MaRDI portal
Publication:4218118
zbMath0912.03017MaRDI QIDQ4218118
Thomas Schwentick, Martin Grohe
Publication date: 11 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Classical first-order logic (03B10) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Other applications of logic (03B80)
Related Items (3)
On the locality of arb-invariant first-order formulas with modulo counting quantifiers ⋮ On the expressiveness of \textsc{Lara}: a proposal for unifying linear and relational algebra ⋮ Lower bounds for invariant queries in logics with counting.
This page was built for publication:
