Switch to: Citations

References in:

A computable ordinary differential equation which possesses no computable solution

Marian Boylan Pour-el

Annals of Mathematical Logic 17 (1):61 (1979)

Add references

You must login to add references.

(1 other version)Recursive Real Numbers.Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):177-177.details Download Export citation Bookmark 10 citations
A notion of mechanistic theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.details Download Export citation Bookmark 24 citations
(1 other version)On the Definition of Computable Function of a Real Variable.J. C. Shepherdson - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):391-402.details Download Export citation Bookmark 8 citations
Computable Functionals.A. Grzegorczyk - 1959 - Journal of Symbolic Logic 24 (1):50-51.details Download Export citation Bookmark 24 citations
(1 other version)On the Definition of Computable Function of a Real Variable.J. C. Shepherdson - 1976 - Mathematical Logic Quarterly 22 (1):391-402.details Download Export citation Bookmark 7 citations
On a simple definition of computable function of a real variable‐with applications to functions of a complex variable.Marian Boykan Pour-El & Jerome Caldwell - 1975 - Mathematical Logic Quarterly 21 (1):1-19.details Download Export citation Bookmark 12 citations

1