A Unified Approach to Constructive and Recursive Analysis by Christoph Kreitz and

@inproceedings{Kreitz2016AUA,
  title={A Unified Approach to Constructive and Recursive Analysis by Christoph Kreitz and},
  author={Ch. Kreitz and Klaus Weihrauch},
  year={2016}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 18 references

Foundations of constructive analysis

  • E. BISHOP
  • Mc Graw-Hill, New York,
  • 1967
Highly Influential
4 Excerpts

Darstellungen und Berechenbarkeit reeller Zahlen, Dissertation

  • T. DElL
  • Fernuniversitat Hagen,
  • 1983

Effective operations in a topological setting,technical

  • D. SPREEN
  • report, RWTH Aachen,
  • 1983

LP-computability in recursive analysis

  • POUR-EL, I.M.B. RICHARDS
  • Technical Report University of Minnesota
  • 1983
1 Excerpt

WEIHRAUCH, K.: of representations (to appear) 'I'owa.r d s a theory of representations, Informatik Berichte 40, Fe:muniversitiit

  • C. KREITZ
  • 1983
2 Excerpts

Compuca t LoneL complexity of real functions, TCS

  • KO K., H. FRIEDMANN
  • 1982
1 Excerpt

Lecture on "Constructive analysis",1982 Summer Institute on recursion theory, Cornell University

  • A. NERODE
  • 1982
1 Excerpt

Similar Papers

Loading similar papers…