×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [partial recursive functions]
Foundations of Mathematics - Malestrom
57 views
1 Luigi Liquori, joint work with Didier Benza, Raphael Chand, Michel Cosnard, and Marc Vesin Arigatoni: A Simple, Programmable Overlay Network Luigi Liquori,
218 views
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist
376 views
1 Turing Machines and Equivalent Models Section 13.2 The Church-Turing Thesis
217 views
A natural axiomatization of computability and proof of Church’s thesis Nachum Dershowitz and Yuri Gurevich 1
224 views
A natural axiomatization of computability and proof of Church’s thesis
45 views