Counting as integration in feasible analysis (Q5485404)
From MaRDI portal
scientific article; zbMATH DE number 5050670
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Counting as integration in feasible analysis |
scientific article; zbMATH DE number 5050670 |
Statements
Counting as integration in feasible analysis (English)
0 references
30 August 2006
0 references
Feasible analysis
0 references
integration
0 references
counting
0 references
reverse mathematics
0 references
