Klemens Döpp

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

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1985

Anmerkungen zum Rekursionstheorem.

Klemens Döpp

Arch. Math. Log., 1985

1984

Filterkonvergenz in der Nichtstandard-Analysis bei Nichtelementaren Funktionen.

Klemens Döpp

Math. Log. Q., 1984

Filterkonvergenz in der Nichtstandard-Analysis.

Klemens Döpp

Math. Log. Q., 1984

1983

Ein Satz über Free-Choice-Petrinetze.

Klemens Döpp

J. Inf. Process. Cybern., 1983

Zum Hackschen Wohlformungssatz für Free-Choice-Petrinetze.

Klemens Döpp

J. Inf. Process. Cybern., 1983

1973

Ein Dualitätstheorem der Automatentheorie.

Klemens Döpp

J. Inf. Process. Cybern., 1973

1972

Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie.

Klemens Döpp

Notre Dame J. Formal Log., 1972

1971

Automaten in Labyrinthen II.

Klemens Döpp

J. Inf. Process. Cybern., 1971

Automaten in Labyrinthen I.

Klemens Döpp

J. Inf. Process. Cybern., 1971