A method to evaluate the computational complexity of the theorems from functional analysis

Vasco Brattka, Guido Gherardi. A method to evaluate the computational complexity of the theorems from functional analysis. In Alessandra Cherubini, Mario Coppo, Giuseppe Persiano, editors, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. pages 59-61, 2009.

Authors

Vasco Brattka

This author has not been identified. Look up 'Vasco Brattka' in Google

Guido Gherardi

This author has not been identified. Look up 'Guido Gherardi' in Google