A Programming Approach to Computability
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer New York

9781461257516, 9781461257493
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Enumeration and Universality of the Computable Functions

1982 ◽  
pp. 45-74
Author(s):  
A. J. Kfoury ◽  
Robert N. Moll ◽  
Michael A. Arbib
Keyword(s):  
Computable Functions

The Recursion Theorem and Properties of Enumerations

1982 ◽  
pp. 138-151
Author(s):  
A. J. Kfoury ◽  
Robert N. Moll ◽  
Michael A. Arbib
Keyword(s):  
Recursion Theorem

Introduction

1982 ◽  
pp. 1-16
Author(s):  
A. J. Kfoury ◽  
Robert N. Moll ◽  
Michael A. Arbib

Alternative Approaches to Computability

1982 ◽  
pp. 196-234
Author(s):  
A. J. Kfoury ◽  
Robert N. Moll ◽  
Michael A. Arbib
Keyword(s):  
Alternative Approaches

The Syntax and Semantics of while-Programs

1982 ◽  
pp. 17-44
Author(s):  
A. J. Kfoury ◽  
Robert N. Moll ◽  
Michael A. Arbib

Computable Properties of Sets (Part 2)

1982 ◽  
pp. 176-195
Author(s):  
A. J. Kfoury ◽  
Robert N. Moll ◽  
Michael A. Arbib

Program Methodology

1982 ◽  
pp. 95-137
Author(s):  
A. J. Kfoury ◽  
Robert N. Moll ◽  
Michael A. Arbib

Computable Properties of Sets (Part 1)

1982 ◽  
pp. 152-175
Author(s):  
A. J. Kfoury ◽  
Robert N. Moll ◽  
Michael A. Arbib

Techniques of Elementary Computability Theory

1982 ◽  
pp. 75-94
Author(s):  
A. J. Kfoury ◽  
Robert N. Moll ◽  
Michael A. Arbib
Keyword(s):  
Computability Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document