Computations in Higher Types
Seiten
1977
|
1977
Springer Berlin (Verlag)
978-3-540-08132-6 (ISBN)
Springer Berlin (Verlag)
978-3-540-08132-6 (ISBN)
Abstract.- The computation domain.- Recursion on ?.- Connection with Kleene recursion in higher types.- Recursion in normal lists on ?.- Kleene recursion in normal objects of type n+2, n>0.- Computation theories on ?.- Abstract Kleene theories.- Normal computation theories on ?.- More about Mahloness.- Calculation of the lengths of some computations.- Gaps.- On platek: "Foundations of recursion theory".- A final comment concerning the two types.
Erscheint lt. Verlag | 1.3.1977 |
---|---|
Reihe/Serie | Lecture Notes in Mathematics |
Zusatzinfo | VIII, 208 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 313 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
Schlagworte | Calc • Calculation • Computability Theory • Computation • object • Recursion • Rekursive Funktion • Types |
ISBN-10 | 3-540-08132-1 / 3540081321 |
ISBN-13 | 978-3-540-08132-6 / 9783540081326 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
16,99 €