Siefkes, Dirk
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | GI-4. Jahrestagung, 1975: t.p. verso (Dr. D. Siefkes, Technische Univ. Berlin, Automatentheorie und Formale Sprachen, Fachbereich Kybernetik) Vorwort (Dirk Siefkes) |
から見よ参照 | Siefkes, D. |
コード類 | 典拠ID=AU20071834 NCID=DA0225885X |
1 | The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes : Germany,: U.S.. - Berlin ; New York : Springer , 1973 |
2 | Büchi's monadic second order successor arithmetic / Dirk Siefkes Berlin : Springer-Verlag , 1970 |