Siefkes, Dirk Formal methods and small systems. Learning, living and working in formal environments. (Formale Methoden und kleine Systeme. Lernen, leben und arbeiten in formalen Umgebungen.) (German) Zbl 0899.68010 Theorie der Informatik. Wiesbaden: Vieweg. viii, 190 p. (1992). MSC: 68M99 68-01 PDF BibTeX XML Cite \textit{D. Siefkes}, Formale Methoden und kleine Systeme. Lernen, leben und arbeiten in formalen Umgebungen. Wiesbaden: Vieweg (1992; Zbl 0899.68010)
Siefkes, Dirk Formalisieren und Beweisen. Logik für Informatiker. (Formalizing and proving. Logic for computer scientists). (German) Zbl 0705.68003 Wiesbaden: Vieweg & Sohn. XIII, 259 p. DM 39.80 (1990). Reviewer: U.Schöning MSC: 68-01 68N17 68T27 68T15 PDF BibTeX XML Cite \textit{D. Siefkes}, Formalisieren und Beweisen. Logik für Informatiker. (Formalizing and proving. Logic for computer scientists). Wiesbaden: Vieweg \&| Sohn (1990; Zbl 0705.68003)
Siefkes, D. Grammars for terms and automata. On a book by the late J. Richard Büchi. (English) Zbl 0635.68086 Computation theory and logic, D. Rödding Occas. 50th Anniv. Birth, Lect. Notes Comput. Sci. 270, 349-359 (1987). Reviewer: G.Grigoras MSC: 68Q45 68Q70 PDF BibTeX XML
Siefkes, Dirk An axiom system for the weak monadic second order theory of two successors. (English) Zbl 0397.03009 Isr. J. Math. 30, 264-284 (1978). MSC: 03B25 03D05 PDF BibTeX XML Cite \textit{D. Siefkes}, Isr. J. Math. 30, 264--284 (1978; Zbl 0397.03009) Full Text: DOI
Siefkes, Dirk Degrees of circuit complexity. (English) Zbl 0368.94049 Fundam. Comput. Theory, Proc. int. Conf., Poznan-Kornik 1977, Lect. Notes Comput. Sci. 56, 522-531 (1977). MSC: 94C10 68Q25 PDF BibTeX XML
Siefkes, Dirk The recursive sets in certain monadic second order fragments of arithmetic. (English) Zbl 0325.02033 Arch. Math. Logik Grundlagenforsch. 17, 71-80 (1975). MSC: 03B25 03D05 03D25 PDF BibTeX XML Cite \textit{D. Siefkes}, Arch. Math. Logik Grundlagenforsch. 17, 71--80 (1975; Zbl 0325.02033) Full Text: DOI EuDML
Siefkes, D. (ed.) GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974. (German) Zbl 0293.00023 Lecture Notes in Computer Science. 26. Berlin-Heidelberg-New York: Springer-Verlag. IX, 748 p. DM 49.00 (1975). MSC: 00Bxx 68-06 PDF BibTeX XML
Siefkes, Dirk Büchi’s monadic second order successor arithmetic. (English) Zbl 0399.03011 Lecture Notes in Mathematics. 120. Berlin-Heidelberg-New York: Springer-Verlag. XII, 130 p. (1970). MSC: 03B25 03C35 03C10 11U05 03B15 03-02 PDF BibTeX XML Cite \textit{D. Siefkes}, Büchi's monadic second order successor arithmetic. Berlin-Heidelberg-New York: Springer-Verlag (1970; Zbl 0399.03011) Full Text: DOI
Siefkes, D. Decidable extensions of monadic second order successor arithmetic. (English) Zbl 0213.01901 Automatentheorie formale Sprachen, Tagungsbericht Math. Forschungsinst. Oberwolfach Oktober 1969, 441-472 (1970). MSC: 03F35 PDF BibTeX XML
Siefkes, D. Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic. (English) Zbl 0186.01102 Contrib. Math. Logic, Proc. Logic Colloq., Hannover 1966, 237-254 (1968). PDF BibTeX XML