Hier wird fur jedes n (n 2 1) eine n + 1-stellige rekursive Funktion beschrieben, die eine universelle Funktion fur die n-stelligen primitiv-rekursiven Funktionen ist. Wir legen die von RITCHIE und MEYER [6] bewiesene Charakterisierung der primitivrekursiven Funktionen zugrunde, nilmlich, daB sie di
Funktional-Rekursion
✍ Scribed by Jürgen Hauck
- Publisher
- John Wiley and Sons
- Year
- 1972
- Tongue
- English
- Weight
- 297 KB
- Volume
- 18
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
For nonlinear parabolic functional-differential operators with nonlinear functionalboundary conditions of first and third kind, involving time-derivatives on the boundary, a uNform conception for one-and two-sided estimations on unbounded domains is introduced. In the infinity variable growth condit
REKURSIVE ALGEBREK MIT KETTENBEDINGUNGEN von \ 1 7 ~~~~~ BAUR in Zurich (Schweiz)') 0. Einleitung W i r betraehten Wortprobleme in Algebren, insbesondere in Ringen und Moduin, deren Kongruenzen Kettenbedingungen genugen. Es ist bekannt, daB rekursiv prasentierte, einfache 3lgebren entscheidbares Wor
REKURSIVE WORTFUNKTIONEN OBER UNENDLICHEN ALPHABETEN von FRIEDER SCHWENKEL in Tiibingen 1. Wortfunktionen iiber einem endlichen Alphabet Der Begriff der rekursiven Wortfunktion uber einem endlichen Alphabet ist als gesichert anzusehen (ASSER 1960, Hu 1960, VU~KOVI~! 1960, PBTER 1961). Die gebrauchli