✦ LIBER ✦

Ein starker Normalisationssatz für die bar-rekursiven Funktionale

✍ Scribed by Vogel, Helmut

Publisher: Springer-Verlag
Year: 1977
Weight: 226 KB
Volume: 18
Category: Article
ISSN: 0003-9268
DOI: 10.1007/bf02007260

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ein starker Normalisationssatz für die i

Ein starker Normalisationssatz für die intuitionistische Typentheorie

✍ Wolfram Pohlers 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 739 KB

Eine Rekursive Universelle Funktion Für

Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen

✍ Hilbert Levitz; Warren Nichols 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 556 KB

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

Ein neuer Beweis für die Tatsache, dass

Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv-rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist

✍ Rózsa Péter 📂 Article 📅 1955 🏛 John Wiley and Sons 🌐 English ⚖ 402 KB