Rödding, Dieter (1937-1984).
Rödding, D. (Dieter), 1937-
Rödding, D.
Dieter Rödding deutscher Mathematiker
Rödding, Dieter
Rödding, D. (Dieter)
VIAF ID: 25075116 ( Personal )
Permalink: http://viaf.org/viaf/25075116
Preferred Forms
- 100 0 _ ‡a Dieter Rödding ‡c deutscher Mathematiker
-
- 100 1 0 ‡a Rödding, D. ‡q (Dieter), ‡d 1937-
-
- 100 1 _ ‡a Rödding, Dieter ‡d 1937-1984
-
- 100 1 _ ‡a Rödding, Dieter, ‡d 1937-1984
- 100 1 _ ‡a Rödding, D.
-
- 100 1 _ ‡a Rödding, D. ‡q (Dieter)
-
-
4xx's: Alternate Name Forms (18)
Works
Title | Sources |
---|---|
Arithmetische und hyperarithmetische Prädikate : | |
Berechenbarkeit, Komplexität, Logik : eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität | |
Computation theory and logic | |
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 | |
Reduktionstypen der Prädikatenlogik : nach einer einstündigen Vorlesung |