Klemens Döpp

Available identifiers

zbMath Open dopp.klemensMaRDI QIDQ2550722

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4527536	2001-02-06	Paper
Anmerkungen zum Rekursionstheorem	1985-01-01	Paper
FILTERKONVERGENZ IN DER NICHTSTANDARD‐ANALYSIS BEI NICHTELEMENTAREN FUNKTIONEN	1984-01-01	Paper
FILTERKONVERGENZ IN DER NICHTSTANDARD‐ANALYSIS	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343447	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343448	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4766913	1973-01-01	Paper
Bemerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie. (Remarks on Henkin's proof of the nonstandard completeness of type theory.)	1972-01-01	Paper
Über die Kennzeichnung von Junktoren durch die Gestalt der herleitbaren Ausdrücke	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5623669	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5611012	1970-01-01	Paper
Über die Homogenisierbarkeit von Rechenprogrammen	1969-01-01	Paper
Die Unentscheidbarkeit Der Grzegorczyk-Klassen	1967-01-01	Paper
Über die Bestimmbarkeit des Verhaltens von Algorithmen	1966-01-01	Paper

Research outcomes over time

This page was built for person: Klemens Döpp