scientific article; zbMATH DE number 1453077
From MaRDI portal
zbMath0965.03046MaRDI QIDQ4955350
Juha Nurmonen, Leonid O. Libkin
Publication date: 25 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveylower boundsfinite model theorygeneralized quantifierslocal propertiescomplexity class \(\text{TC}^0\)game-theoretic characterizations of first-order logiclogics with counting
Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)