Primitive Recursive Functions

Cached

Download Links

by Definition Basic Functions

Active Bibliography

A Critical Review of the Notion of the Algorithm in Computer Science – K. Fant - 2007
AC 2007-458: SCOPE OF VARIOUS RANDOM NUMBER GENERATORS IN ANT SYSTEM APPROACH FOR TSP – S. K. Sen , et al. - 2007
Evolution of lambda-expressions through Genetic Programming – Dorothea Heiss-Czedik, Walter Fontana
Church’s Thesis – Guram Bezhanishvili
4 A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state – Johan Munk - 2008
20 Computational Foundations of Basic Recursive Function Theory – Robert L. Constable, Scott Fraser Smith - 1988
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
5 The history and concept of computability – Robert I. Soare - 1999
3 Computability and Incomputability – Robert I. Soare
32 Computability and recursion – Robert I. Soare - 1996
1 Introduction to POS: A Protocol Operational Semantics – Jean-luc Koning - 2000
1 The Constructive Foundations of the System eb – D. E. Stevenson - 1996
Universal Queries for Relational Query Languages – Lawrence V. Saxton, Dirk Van Gucht, Munish Gandhi
1 What Is Computational Knowledge And How Do We Acquire It? – D. E. Stevenson
1 A Hypercomputational Alien – Udi Boker, Nachum Dershowitz - 2005
3 How to compare the power of computational models – Udi Boker, Nachum Dershowitz - 2005
The Influence of Domain . . . – Udi Boker - 2008
Thi d d i h F M k 4 0 4 Checking for Race Conditions in File Accesses – Matt Bishop, Michael Dilger
21 Non-Discretionary Access Control For Decentralized Computing Systems – Paul A. Karger - 1977