Get started
Author

Klemens Döpp

Observed name: Döpp, Klemens
OpenAlex ID: A5015751391
Zum Hackschen Wohlformungssatz für Free-Choice-Petrinetze.
1983 · Klemens Döpp · Journal of automata, languages and combinatorics · 6
Filterkonvergenz in Der Nichtstandard‐analysis
1984 · Klemens Döpp · Mathematical logic quarterly · 1
Zum induktiven Aufbau des Bereichs der partiell-rekursiven Funktionen
2026 · Döpp, Klemens · Media (https://www.suub.uni-bremen.de/)
PDF
Partiell-rekursive Funktionen
2000 · Klemens Döpp · Vieweg+Teubner eBooks
Berechenbarkeit und Unlösbarkeit
2000 · Klemens Döpp · Vieweg+Teubner eBooks
Turing-Berechenbarkeit
2000 · Klemens Döpp · Vieweg+Teubner eBooks
Unlösbarkeit
2000 · Klemens Döpp · Vieweg+Teubner eBooks
Einleitung
2000 · Klemens Döpp · Vieweg+Teubner eBooks
Anmerkungen zum Rekursionstheorem
1985 · Klemens Döpp · Archive for Mathematical Logic
Filterkonvergenz in Der Nichtstandard‐analysis Bei Nichtelementaren Funktionen
1984 · Klemens Döpp · Mathematical logic quarterly
Ein Dualitätstheorem der Automatentheorie.
1973 · Klemens Döpp · Journal of automata, languages and combinatorics
Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie.
1972 · Klemens Döpp · Notre Dame Journal of Formal Logic
Über die Kennzeichnung von Junktoren durch die Gestalt der herleitbaren Ausdrücke
1972 · Klemens Döpp · Archive for Mathematical Logic
Über die Homogenisierbarkeit von Rechenprogrammen
1969 · Klemens Döpp · Archive for Mathematical Logic
Die Unentscheidbarkeit Der Grzegorczyk‐Klassen
1967 · Klemens Döpp · Mathematical logic quarterly
Über die Bestimmbarkeit des Verhaltens von Algorithmen
1966 · Klemens Döpp · Archive for Mathematical Logic
Works count: 16
Citation count: 7
H-index: 1
I10-index:
Year
Topic
Type