Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers /
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Computability and Complexity in Analysis, CCA 2000, held in Swansea, UK, in September 2000. The 23 revised full papers presented together with a report on a competition of exact real arithmetic system...
Full description
Bibliographic Details
Other Authors: |
Blanck, Jens, 1966-,
Brattka, Vasco, 1966-,
Hertling, Peter, 1965- |
Format: | Book
|
Language: | English |
Published: |
Berlin ; New York :
Springer,
c2001
Berlin ; New York :
©2001
|
Series: | Lecture notes in computer science
2064
Lecture notes in computer science,
2064
Lecture notes in computer science ;
2064
Lecture notes in computer science
2064
|
Subjects: |
|