Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen (Q3781750)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen |
scientific article |
Statements
Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen (English)
0 references
1987
0 references
recursive universal function
0 references
n-ary primitive recursive functions
0 references
LOOP- programs
0 references