Computation and Proof Theory - Lecture Notes in Mathematics
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540139010, 9783540391197
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Contiguous R.E. Degrees

1984 ◽  
pp. 1-37 ◽  
Author(s):  
Klaus Ambos-Spies

A unified approach to constructive and recursive analysis

1984 ◽  
pp. 259-278 ◽  
Author(s):  
Christoph Kreitz ◽  
Klaus Weihrauch
Keyword(s):  
Unified Approach ◽  
Recursive Analysis

Effective operators in a topological setting

1984 ◽  
pp. 437-451 ◽  
Author(s):  
Dieter Spreen ◽  
Paul Young
Keyword(s):  
Effective Operators

Undecidability and recursive equivalence II

1984 ◽  
pp. 79-100 ◽  
Author(s):  
J. N. Crossley ◽  
J. B. Remmel

Between constructive and classical mathematics

1984 ◽  
pp. 143-162 ◽  
Author(s):  
Solomon Feferman
Keyword(s):  
Classical Mathematics

A star-finite relational semantics for parallel programs

1984 ◽  
pp. 129-142
Author(s):  
E. J. Farkas ◽  
M. E. Szabo
Keyword(s):  
Parallel Programs ◽  
Relational Semantics

Abstract recursion as a foundation for the theory of algorithms

1984 ◽  
pp. 289-364 ◽  
Author(s):  
Yiannis N. Moschovakis

Minimal degrees and 1-generic sets below 0′

1984 ◽  
pp. 63-77 ◽  
Author(s):  
C. T. Chong ◽  
C. G. Jockusch
Load More ...
Sign in / Sign up

Export Citation Format

Share Document