1.

図書
図書
1. Finite automata, their algebras and grammars : towards a theory of formal expressions (: us ; : gw)
J. Richard Büchi ; Dirk Siefkes, editor
出版情報: New York ; Tokyo : Springer-Verlag, c1989
所蔵情報: loading…
2.

図書
図書
2. GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 (: gw ; : us)
herausgegeben im Auftrag der GI von D. Siefkes
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in computer science ; 26
所蔵情報: loading…
3.

図書
図書
3. The monadic second order theory of all countable ordinals (: Germany ; : U.S.)
J. Richard Büchi, Dirk Siefkes
出版情報: Berlin ; New York : Springer, 1973
シリーズ名: Lecture notes in mathematics ; 328
Decidable theories ; 2
所蔵情報: loading…
4.

図書
図書
4. Büchi's monadic second order successor arithmetic
Dirk Siefkes
出版情報: Berlin : Springer-Verlag, 1970
シリーズ名: Lecture notes in mathematics ; 120
Decidable theories ; 1
所蔵情報: loading…