|
B.Goetze: Die Struktur des Halbverbandes der effektiven
Numerierungen,
ZML (Zeitschrift für Mathematische Logik und Grundlagen der Mathematik)
20(1974), 183-188.
|
B.Goetze: Unentscheidbarkeitsgrade rekursiver Funktionen,
ZML 20(1974), 189-191.
|
B.Goetze,
R.Klette:
Limesrekursive Funktionen,
EIK (Elektronische Informationsverarbeitung und Kybernetik) 11(1975),
586-589.
|
B.Goetze: Die Inseparabilitätseigenschaft und die Rice'sche
Unentscheidbarkeitseigenschaft bei effektiven Numerierungen,
EIK 11(1975), 583-586.
|
B.Goetze, R.Klette:
Some Properties of Limit Recursive Functions,
Conf. MFCS'74, Lecture Notes in Computer Science 28(1975), 88-90.
|
B.Goetze, D.Gillo, R.Klette:
Der iterierte Limes rekursiver Funktionen und die
arithmetische Hierarchie, ZML 23(1977), 265-272.
|
B.Goetze, R.Klette:
Ein Normalformtheorem für Σ2-Funktionen,
EIK 14(1978)5, 251-256.
|
B.Goetze,
W.Nehrlich:
Loop Programs and Classes of Primitive Recursive
Functions, Conf. MFCS'78, Lecture Notes in Computer Science 64(1978),
232-237.
|
B.Goetze, W.Nehrlich: The Structure of Loops Programs and Subrecursive
Hierarchies, ZML 26(1980), 255-278.
|
B.Goetze, W.Nehrlich: The Number of Loops Necessary and Sufficient for
Computing Simple Functions, EIK 17(1981)7, 363-376.
|
|
