The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction
Journal of Automated Reasoning
On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
A complexity analysis of functional interpretations
Theoretical Computer Science
A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Light Dialectica Program Extraction from a Classical Fibonacci Proof
Electronic Notes in Theoretical Computer Science (ENTCS)
Rates of Convergence of Recursively Defined Sequences
Electronic Notes in Theoretical Computer Science (ENTCS)
Light functional interpretation
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Hi-index | 0.00 |