No label defined (Q4955350)
From MaRDI portal
scientific article; zbMATH DE number 1453077
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1453077 |
Statements
25 May 2000
0 references
finite model theory
0 references
survey
0 references
logics with counting
0 references
local properties
0 references
game-theoretic characterizations of first-order logic
0 references
generalized quantifiers
0 references
lower bounds
0 references
complexity class \(\text{TC}^0\)
0 references
