Hemachandra, Lane A.; Hoene, Albrecht; Siefkes, Dirk Polynomial-time functions generate SAT: On P-splinters. (English) Zbl 0755.68067 Mathematical foundations of computer science, Proc. 14th Symp., MFCS ’89, Porąbka-Kozubnik/Pol. 1989, Lect. Notes Comput. Sci. 379, 259-269 (1989). MSC: 68Q25 03D15 03D80 PDF BibTeX XML
Büchi, J. Richard; Mahr, Bernd; Siefkes, Dirk Recursive definition and complexity of functions over arbitrary data structures. (English) Zbl 0555.68019 Frege conference, Proc. Int. Conf., Schwerin/Ger. 1984, Math. Res. 20, 303-308 (1984). Reviewer: S.P.Yukna MSC: 68Q25 03D60 03D15 PDF BibTeX XML
Büchi, J. Richard; Siefkes, Dirk The complete extensions of the monadic second order theory of countable ordinals. (English) Zbl 0541.03003 Z. Math. Logik Grundlagen Math. 29, 289-312 (1983). Reviewer: M.Tetruashvili MSC: 03B25 03C85 PDF BibTeX XML Cite \textit{J. R. Büchi} and \textit{D. Siefkes}, Z. Math. Logik Grundlagen Math. 29, 289--312 (1983; Zbl 0541.03003) Full Text: DOI
Mahr, Bernd; Siefkes, Dirk Relating uniform and nonuniform models of computation. (English) Zbl 0484.68035 GI-11. Jahrestag., 3rd Conf. Eur. Co-op. Inf., München 1981, Inf.- Fachber. 50, 41-48 (1981). MSC: 68Q25 03D20 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
Fleischmann, Klaus; Mahr, Bernd; Siefkes, Dirk Bounded concatenation theory as a uniform method for proving lower complexity bounds. (English) Zbl 0439.03004 Logic colloquium 76, Proc. Conf., Oxford 1976, Stud. Logic Found. Math., Vol. 87, 471-490 (1977). MSC: 03B25 03D15 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
Büchi, J. Richard; Siefkes, Dirk The monadic second order theory of all countable ordinals. (English) Zbl 0298.02050 Lecture Notes in Mathematics. 328. Decidable Theories II. Berlin-Heidelberg-New York: Springer-Verlag. VI, 217 p. DM 20.00; $ 7.40 (1973). MSC: 03B25 03B15 03-02 03D05 PDF BibTeX XML Full Text: DOI
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