Some applications of logic to feasibility in higher types (Q5277700)
From MaRDI portal
scientific article; zbMATH DE number 6743944
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some applications of logic to feasibility in higher types |
scientific article; zbMATH DE number 6743944 |
Statements
Some applications of logic to feasibility in higher types (English)
0 references
12 July 2017
0 references
bounded arithmetic
0 references
functionals
0 references
higher-order complexity
0 references
second-order theories
0 references
