Parametrised second-order complexity theory with applications to the study of interval computation (Q2285136)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parametrised second-order complexity theory with applications to the study of interval computation |
scientific article |
Statements
Parametrised second-order complexity theory with applications to the study of interval computation (English)
0 references
16 January 2020
0 references
second-order complexity
0 references
type-two complexity
0 references
interval computation
0 references
computable analysis
0 references
0 references
0 references
