Book chapter 984 views 252 downloads
On the Computational Content of the Brouwer Fixed Point Theorem
Arno Pauly 
How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, Volume: 7318, Pages: 56 - 67
Swansea University Author:
Arno Pauly
-
PDF | Accepted Manuscript
Download (329.45KB)
DOI (Published version): 10.1007/978-3-642-30870-3\_7
Abstract
On the Computational Content of the Brouwer Fixed Point Theorem
| Published in: | How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings |
|---|---|
| ISBN: | 978-3-642-30869-7 |
| ISSN: | 1611-3349 |
| Published: |
Berlin
Springer
2012
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa37385 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: |
Part of the Lecture Notes in Computer Science series vol. 7318 |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
56 |
| End Page: |
67 |