SOLUTION OF POST'S REDUCTION PROBLEM AND SOME OTHER PROBLEMS OF THE THEORY OF ALGORITHMS. I.
The following sections are included: Introduction Functional Representation of Partial Recursive Operators Sequences and Quasisequences Functional Representation of Operators A Universal Partial Recursive Operator The Calculus of M-problems Decision Problems of Recursively Enumerable Sets The Semila...
Gespeichert in:
| Veröffentlicht in: | Mathematical Logic In The 20th Century S. 333 - 351 |
|---|---|
| 1. Verfasser: | |
| Format: | Buchkapitel |
| Sprache: | Englisch |
| Veröffentlicht: |
Singapore
World Scientific Publishing Company
2003
CO-PUBLISHED WITH SINGAPORE UNIVERSITY PRESS |
| Schlagworte: | |
| ISBN: | 9810247362, 9789810247362, 9789814490191, 9814490199, 9789812564894, 9812564896 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | The following sections are included:
Introduction
Functional Representation of Partial Recursive Operators
Sequences and Quasisequences
Functional Representation of Operators
A Universal Partial Recursive Operator
The Calculus of M-problems
Decision Problems of Recursively Enumerable Sets
The Semilattice $\mathfrak{A}(P)$
Post's Reducibility Problem
BIBLIOGRAPHY |
|---|---|
| ISBN: | 9810247362 9789810247362 9789814490191 9814490199 9789812564894 9812564896 |
| DOI: | 10.1142/9789812564894_0016 |