A restricted second-order logic for non-deterministic poly-logarithmic time (Q5082331)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A restricted second-order logic for non-deterministic poly-logarithmic time |
scientific article; zbMATH DE number 7542740
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A restricted second-order logic for non-deterministic poly-logarithmic time |
scientific article; zbMATH DE number 7542740 |
Statements
A restricted second-order logic for non-deterministic poly-logarithmic time (English)
0 references
16 June 2022
0 references
descriptive complexity
0 references
poly-logarithmic time
0 references
second-order logic
0 references
finite models
0 references
0.87247896
0 references
0.86482227
0 references
0.86426044
0 references
0.86373115
0 references
0.8626827
0 references
0.8605041
0 references
0.8599149
0 references
0.85986394
0 references
