Recursive function theory and numerical analysis
- 1 October 1970
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 4 (5) , 465-472
- https://doi.org/10.1016/s0022-0000(70)80043-5
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The primitive recursive analysis of ordinary differential equations and the complexity of their solutionsJournal of Computer and System Sciences, 1969
- Classes of predictably computable functionsTransactions of the American Mathematical Society, 1963
- Recursive real numbersProceedings of the American Mathematical Society, 1954
- Nicht konstruktiv beweisbare Sätze der AnalysisThe Journal of Symbolic Logic, 1949