Connecting with Computability. CiE 2021. Lecture Notes in Computer Science, vol 12813

, , & (eds.)
(2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Constructive mathematics, Church's Thesis, and free choice sequences.David A. Turner

Similar books and articles

Constructive mathematics, Church's Thesis, and free choice sequences.David A. Turner - 2021 - In L. De Mol, A. Weiermann, F. Manea & D. Fernández-Duque (eds.), ) Connecting with Computability. CiE 2021. Lecture Notes in Computer Science, vol 12813.
Connecting with Computability. Proceedings of Computability in Europe.Liesbeth De Mol, Andreas Weiermann, Florin Manea & David Fernández-Duque (eds.) - 2021
A. Bertoni. Mathematical methods of the theory of stochastic automata. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 9–22. - R. V. Freivald. Functions computable in the limit by probabilistic machines. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 77–87. - B. Goetze and R. Klette. Some properties of limit recursive functions. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 88–90. - Ole-Johan Dahl. An approach to correctness proofs of semicoroutines. [REVIEW]Steven S. Muchnick - 1977 - Journal of Symbolic Logic 42 (3):422-423.
Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734).Sergei Artemov & Anil Nerode (eds.) - 2013 - Springer.
Computing with functionals: Computability theory or computer science?Dag Normann - 2006 - Bulletin of Symbolic Logic 12 (1):43-59.
Computer Vision II-Generic 3-D Modeling for Content Analysis of Court-Net Sports Sequences.Jungong Han, Dirk Farin & Peter Hn De With - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 279-288.
Human-Computer Interaction-The 3D Sensor Table for Bare Hand Tracking and Posture Recognition.Jaeseon Lee, Kyoung Shin Park & Minsoo Hahn - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 138-146.
Spec hpc2002: The next high-performance computer benchmark extended abstract.Rudolf Eigenmann, Greg Gaertner, Wesley Jones, Hideki Saito & Brian Whitney - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag.
Lecture Notes In Computer Science.O. Stock & M. Schaerf (eds.) - 2006 - Springer Verlag.
Computability and Complexity: From a Programming Perspective Vol. 21.N. D. Jones - 1997 - MIT Press.
What is an algorithm.Yuri Gurevich - 2012 - Lecture Notes in Computer Science.
Lecture Notes in Computer Science (LNCS).Paavo Pylkkänen - 2016 - Springer Publishing Company.
Fifth International Workshop on Computer Graphics and Geometric Modeling (CGGM 2006)-Robustly Computing Intersection Curves of Two Canal Surfaces with Quadric Decomposition.Jinyuan Jia, Ajay Joneja & Kai Tang - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 3992--342.
Goldblatt Robert. Axiomatising the logic of computer programming. Lecture notes in computer science, vol. 130. Springer-Verlag, Berlin, Heidelberg, and New York, 1982, xi + 304 pp. [REVIEW]Mitchell Wand - 1985 - Journal of Symbolic Logic 50 (3):854-855.
Péter on Church's Thesis, Constructivity and Computers.Mate Szabo - 2021 - In Liesbeth De Mol, Andreas Weiermann, Florin Manea & David Fernández-Duque (eds.), Connecting with Computability. Proceedings of Computability in Europe. pp. 434-445.

Analytics

Added to PP
2021-07-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references