Günter Asser

Available identifiers

zbMath Open asser.gunterDBLP23/5123WikidataQ108340 ScholiaQ108340MaRDI QIDQ3030810

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4040227	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q3030811	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3686687	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3679424	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3941382	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3924151	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3924152	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3949011	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3866053	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4137105	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4187787	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4081196	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4137153	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4099585	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053071	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068687	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4083426	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5665164	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5670609	1972-01-01	Paper
Über Eine Darstellung der Rekursiven Wortfunktionen in Endlichen Automaten	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5343307	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5730440	1963-01-01	Paper
Funktionen‐Algorithmen	1961-01-01	Paper
Funktionen‐Algorithmen und Graphschemata	1961-01-01	Paper
Turing‐Maschinen und Markowsche Algorithmen	1961-01-01	Paper
Rekursive Wortfunktionen	1960-01-01	Paper
Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3275829	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3260555	1959-01-01	Paper
Normierte Postsche Algorithmen	1959-01-01	Paper
Turing‐Maschinen und Markowsche Algorithmen	1959-01-01	Paper
Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Dem Andenken an Hermann Ludwig Schmid gewidmet	1958-01-01	Paper
Theorie der Logischen Auswahlfunktionen	1957-01-01	Paper
Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Dem Andenken an Heinrich Scholz gewidmet	1956-01-01	Paper
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität	1955-01-01	Paper
Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe	1955-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5821422	1953-01-01	Paper

Research outcomes over time

This page was built for person: Günter Asser