Primitiv-Rekursive Funktionen Über Einem Bereich Endlicher Mengen

DOI10.1007/BF01977294zbMath0189.00901MaRDI QIDQ5583061

Dieter Rödding

Publication date: 1967

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137796

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (5)

Data representation and computational complexity ⋮ Hierarchien primitiv-rekursiver Funktionen im Transfiniten ⋮ Zu den Primitiv-Rekursiven Funktionen Über Einem Bereich Endlicher Mengen ⋮ Query languages for hierarchic databases ⋮ Arithmetische Prädikate über einem Bereich endlicher Automaten

Cites Work

• Über die Verallgemeinerung der Theorie der Rekursiven Funktionen für Abstrakte Mengen Geeigneter Struktur als Definitionsbereiche
• Zu den Primitiv-Rekursiven Funktionen Über Einem Bereich Endlicher Mengen

This page was built for publication: Primitiv-Rekursive Funktionen Über Einem Bereich Endlicher Mengen