Article ID Journal Published Year Pages File Type
9655994 Electronic Notes in Theoretical Computer Science 2005 9 Pages PDF
Abstract
The paper also gives an example result, an application of proof mining to fixed point theory, that can be achieved by the means discussed in the paper.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
Rates of Convergence of Recursively Defined Sequences
Authors
,