The strength of non-size increasing computation (Q5178911)
From MaRDI portal
scientific article; zbMATH DE number 6416274
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The strength of non-size increasing computation |
scientific article; zbMATH DE number 6416274 |
Statements
The strength of non-size increasing computation (English)
0 references
17 March 2015
0 references
computational complexity
0 references
finite model
0 references
higher-order functions
0 references
semantics
0 references
