Prädikatenlogik mit partiell definierten Funktionen.
Werner Markwald (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Über die mit Stackautomaten berechenbaren Funktionen.”
Prädikatenlogik mit partiell definierten Funktionen.
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:
Stackautomaten in Labyrinthen.
Horst Müller (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Definierbare Funktionen im ...-Kalkül mit Typen.
Helmut Schwichtenberg (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
...-definierbare Funktionen auf Peanoalgebren.
Gerd Mitschke (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchien primitiv-rekursiver Funktionen im Transfiniten.
M.E. Schröder (1970)
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:
Kodifikation und Aussagenlogik.
Horst Luckhardt (1969)
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:
Kripke-Semantik der derivativen Prädikatelogik.
Horst Luckhardt (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: