| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 193416 (Why is no real title available?)
| 1993-06-05 | Paper |
scientific article; zbMATH DE number 4019039 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3908394 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3901081 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3758294 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3737611 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3737612 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3767598 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3668541 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3564882 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3625341 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3499700 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3564953 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3521920 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3468242 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3485724 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3503239 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3397489 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3404215 (Why is no real title available?)
| 1972-01-01 | Paper |
Über Eine Darstellung der Rekursiven Wortfunktionen in Endlichen Automaten
Mathematical Logic Quarterly | 1966-01-01 | Paper |
scientific article; zbMATH DE number 3216162 (Why is no real title available?)
| 1965-01-01 | Paper |
scientific article; zbMATH DE number 3194088 (Why is no real title available?)
| 1963-01-01 | Paper |
Funktionen‐Algorithmen
Mathematical Logic Quarterly | 1961-01-01 | Paper |
Funktionen‐Algorithmen und Graphschemata
Mathematical Logic Quarterly | 1961-01-01 | Paper |
Turing‐Maschinen und Markowsche Algorithmen
Mathematical Logic Quarterly | 1961-01-01 | Paper |
Rekursive Wortfunktionen
Mathematical Logic Quarterly | 1960-01-01 | Paper |
Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle
Mathematical Logic Quarterly | 1960-01-01 | Paper |
scientific article; zbMATH DE number 3157952 (Why is no real title available?)
| 1960-01-01 | Paper |
scientific article; zbMATH DE number 3143678 (Why is no real title available?)
| 1959-01-01 | Paper |
Normierte Postsche Algorithmen
Mathematical Logic Quarterly | 1959-01-01 | Paper |
Turing‐Maschinen und Markowsche Algorithmen
Mathematical Logic Quarterly | 1959-01-01 | Paper |
Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Dem Andenken an Hermann Ludwig Schmid gewidmet
Mathematische Nachrichten | 1958-01-01 | Paper |
Theorie der Logischen Auswahlfunktionen
Mathematical Logic Quarterly | 1957-01-01 | Paper |
Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Dem Andenken an Heinrich Scholz gewidmet
Mathematical Logic Quarterly | 1956-01-01 | Paper |
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1955-01-01 | Paper |
Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe
Mathematical Logic Quarterly | 1955-01-01 | Paper |
scientific article; zbMATH DE number 3082562 (Why is no real title available?)
| 1953-01-01 | Paper |
