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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Klemens Döpp