Klemens Döpp

According to our database1, Klemens Döpp authored at least 9 papers between 1971 and 1985.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1985
Anmerkungen zum Rekursionstheorem.
Arch. Math. Log., 1985

1984
Filterkonvergenz in der Nichtstandard-Analysis bei Nichtelementaren Funktionen.
Math. Log. Q., 1984

Filterkonvergenz in der Nichtstandard-Analysis.
Math. Log. Q., 1984

1983
Ein Satz über Free-Choice-Petrinetze.
Elektronische Informationsverarbeitung und Kybernetik, 1983

Zum Hackschen Wohlformungssatz für Free-Choice-Petrinetze.
Elektronische Informationsverarbeitung und Kybernetik, 1983

1973
Ein Dualitätstheorem der Automatentheorie.
Elektronische Informationsverarbeitung und Kybernetik, 1973

1972
Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie.
Notre Dame Journal of Formal Logic, 1972

1971
Automaten in Labyrinthen II.
Elektronische Informationsverarbeitung und Kybernetik, 1971

Automaten in Labyrinthen I.
Elektronische Informationsverarbeitung und Kybernetik, 1971


  Loading...