Hierarchien primitiv-rekursiver Funktionen im Transfiniten.
M.E. Schröder (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Definierbare Funktionen im ...-Kalkül mit Typen.”
Hierarchien primitiv-rekursiver Funktionen im Transfiniten.
Über die mit Stackautomaten berechenbaren Funktionen.
Horst Müller (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Prädikatenlogik mit partiell definierten Funktionen.
Werner Markwald (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Rekursionszahlen und die Grzegorczyk-Hierarchie.
Helmut Schwichtenberg (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die mit Nestedstackautomaten berechenbaren Funktionen sind elementar.
Heinrich Beck (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen.
H. Bremer, C.H.H. Reynvaan (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
...-definierbare Funktionen auf Peanoalgebren.
Gerd Mitschke (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Prädikatenlogik mit partiell definierten Funktionen II.
Werner Markwald (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen.
Heinz-Dieter Ebbinghaus (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik.
Matthias Ragaz (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: