Is this you? Create Your Porfile
Avatar

Dirk Siefkes

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Dirk Siefkes is active.

Explore More

Publication

Featured researches published by Dirk Siefkes.

Journal of Symbolic Logic | 1989

Berechenbarkeit, Komplexitat, Logik. Eine Einfuhrung in Algorithmen, Sprachen und Kalkule unter Besonderer Berucksichtigung ihrer Komplexitat

Dirk Siefkes; Egon Börger; Dieter Rodding

Journal of Symbolic Logic | 1991

Review: Uwe Schoning, Logic for Computer Scientists

Dirk Siefkes

Journal of Symbolic Logic | 1989

Egon Börger. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität . Edited by Dieter Rödding. Friedr. Vieweg a Sohn, Brunswick and Wiesbaden1985, xvii + 469 pp. - Egon Börger. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität . Edited by Dieter Rodding. Second corrected edition of the preceding. Friedr. Vieweg a Sohn, Brunswick and Wiesbaden1986, xvii + 469 pp.

Dirk Siefkes

Journal of Symbolic Logic | 1989

Review: Egon Borger, Dieter Rodding, Berechenbarkeit, Komplexitat, Logik. Eine Einfuhrung in Algorithmen, Sprachen und Kalkule unter Besonderer Berucksichtigung ihrer Komplexitat

Dirk Siefkes

Journal of Symbolic Logic | 1987

Review: Ferenc Gecseg, Magnus Steinby, Tree Automata

Dirk Siefkes

Journal of Symbolic Logic | 1984

Review: Jeanne Ferrante, Charles W. Rackoff, The Computational Complexity of Logical Theories

Dirk Siefkes

Journal of Symbolic Logic | 1975

Rabin Michael O.. Weakly definable relations and special automata. Mathematical logic and foundations of set theory, Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 1–23.

Dirk Siefkes

Journal of Symbolic Logic | 1975

Review: Michael O. Rabin, Weakly Definable Relations and Special Automata

Dirk Siefkes

Journal of Symbolic Logic | 1975

Review: Michael O. Rabin, Decidability and Definability in Second-Order Theories

Dirk Siefkes

Journal of Symbolic Logic | 1975

Review: Michael O. Rabin, Automata on Infinite Objects and Church's Problem

Dirk Siefkes

Explore More

Collaboration

Dive into the Dirk Siefkes's collaboration.

Top Co-Authors
Avatar

Egon Börger

University of Pisa

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge