Author

Dieter Rödding

Observed names: D Rödding, D. Rödding

Observed institution: University of Münster

OpenAlex ID: A5049764596

Klassen rekursiver funktionen

1968 · D. Rödding · Lecture notes in mathematics · 21

Über Die Eliminierbarkeit Von Definitionsschemata in Der Theorie Der Rekursiven Funktionen

1964 · Dieter Rödding · Mathematical logic quarterly · 21

Bemerkungen zum Spektralproblem

1972 · D. Rödding, H. Schwichtenberg · Mathematical logic quarterly · 14

A Combinatorial Approach to Self-Correction

1974 · Lutz Priese, Dieter Rödding · Journal of Cybernetics · 13

Primitiv-Rekursive Funktionen Über Einem Bereich Endlicher Mengen

1968 · D. Rödding · Archive for Mathematical Logic · 13

Modular decomposition of automata

1984 · Anne Brüggemann, Lutz Priese, et al. · Lecture notes in computer science · 12

Modular decomposition of automata (survey)

1983 · D. Rödding · Lecture notes in computer science · 5

Anzahlquantoren in der Kleene-Hierarchie

1966 · Dieter Rödding · Archive for Mathematical Logic · 3

Über Darstellungen der Elementaren Funktionen II

1966 · Dieter Rödding · Archive for Mathematical Logic · 3

Darstellungen der (im KALMÁR-CSILLAG'schen Sinne) Elementaren Funktionen

1965 · Dieter Rödding · Archive for Mathematical Logic · 3

Some logical problems connected with a modular decomposition theory of automata

1984 · Dieter Rödding · Lecture notes in mathematics · 2

Anzahlquantoren in der Prädikatenlogik

1966 · Dieter Rödding · Archive for Mathematical Logic · 2

Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

1984 · Egon Börger, G. Hasenjaeger, et al. · Springer eBooks · 1

Proceedings of the Symposium "Rekursive Kombinatorik" on Logic and Machines: Decision Problems and Complexity

1983 · Egon Börger, G. Hasenjaeger, et al. · 1

Algebra der Logik

2017 · Dieter Rödding · Historisches Wörterbuch der Philosophie online

Harry R. Lewis. Unsolvable classes of quantificational formulas. Advanced book program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xv + 198 pp.

1982 · Dieter Rödding · Journal of Symbolic Logic

Redes de autómatas finitos

1974 · D. Rödding · Dialnet (Universidad de la Rioja)

Gert Heinz Müller. Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest1965, S. 45–51. - G. H. Müller. Rekursionsformen in der Zahlentheorie. Automatentheorie und formate Sprachen, Nr. 3, Bericht aus dem Mathematischen Forschungsinstitut Oberwolfach, herausgegeben von Johannes Dörr und Günter Hotz, Bibliographisches Institut, Mannheim–Wien–Zurich, Hochschultaschenbücher–Verlag, Mannheim 1970, S. 399–440.

1973 · Dieter Rödding · Journal of Symbolic Logic

[The determinableness concept in mathematical logic].

1966 · D Rödding · PubMed

Works count: 19

Citation count: 114

H-index: 6

I10-index: 6