Jump to main content

yr 〜
yr

Search results 11

Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; Dirk Siefkes, editor.

Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; Dirk Siefkes, editor.
Paper図書
Springer-Verlagc1989.<MA41-A66>
National Diet Library
  • Author HeadingBüchi, J. Richard. Siefkes, Dirk.

Finite automata, their algebras and grammars : towards a theory of formal expressions : us : gw

Finite automata, their algebras and grammars : towards a theory of formal expressions : us : gw
Paper図書
J. Richard Büchi ; Dirk Siefkes, editorSpringerc1989
Other Libraries in Japan
  • Author HeadingBüchi, J. Richard Siefkes, Dirk

The collected works of J. Richard Büchi : U.S. : Germany

The collected works of J. Richard Büchi : U.S. : Germany
Paper図書
Saunders Mac Lane, Dirk Siefkes, editorsSpringer-Verlagc1990
Other Libraries in Japan
  • Author HeadingBüchi, J. Richard Mac Lane, Saunders Siefkes, Dirk

The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes. (Decidable theories, 2) (Lecture notes in mathematics (Berlin) 328)

The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes. (Decidable theories, 2) (Lecture notes in mathematics (Berlin) 328)
Paper図書
Springer1973.<MA41-61>
National Diet Library
  • Author HeadingBüchi, J. Richard. Siefkes, Dirk.

Büchi's monadic second order successor arithmetic. (Decidable theories 1) (Lecture notes in mathematics, 120)

Büchi's monadic second order successor arithmetic. (Decidable theories 1) (Lecture notes in mathematics, 120)
Paper図書
Springer-Verlag1970.<MA41-26>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSiefkes, Dirk.

Grundzüge der Logik 3. Aufl

Grundzüge der Logik 3. Aufl
Paper図書
Willard Van Orman Quine ; übersetzt von Dirk SiefkesSuhrkamp1981
Other Libraries in Japan
  • Author HeadingQuine, W. V. (Willard Van Orman) Siefkes, Dirk

Grundzüge der Logik 2. Aufl

Grundzüge der Logik 2. Aufl
Paper図書
Willard Van Orman Quine ; [aus dem Englischen übersetzt von Dirk Siefkes]Suhrkamp1978, c1969
Other Libraries in Japan
  • Author HeadingQuine, W. V. (Willard Van Orman) Siefkes, Dirk

GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 : gw : us

GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 : gw : us
Paper図書
herausgegeben im Auftrag der GI von D. SiefkesSpringer-Verlag1975
Other Libraries in Japan
  • Author HeadingGI-Jahrestagung Siefkes, Dirk

Ｔｈｅ　ｍｏｎａｄｉｃ　ｓｅｃｏｎｄ　ｏｒｄｅｒ　ｔｈｅｏｒｙ　ｏｆ　ａｌｌ　ｃｏｕｎｔａｂｌｅ　ｏｒｄｉｎａｌｓ (Ｄｅｃｉｄａｂｌｅ　ｔｈｅｏｒｉｅｓ : Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)

Ｔｈｅ　ｍｏｎａｄｉｃ　ｓｅｃｏｎｄ　ｏｒｄｅｒ　ｔｈｅｏｒｙ　ｏｆ　ａｌｌ　ｃｏｕｎｔａｂｌｅ　ｏｒｄｉｎａｌｓ (Ｄｅｃｉｄａｂｌｅ　ｔｈｅｏｒｉｅｓ : Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)
Paper図書
［ｂｙ］Ｊ．ＲｉｃｈａｒｄＢｕ¨ｃｈｉ［ａｎｄ］ＤｉｒｋＳｉｅｆｋｅｓ． ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９７３．
Other Libraries in Japan
  • Author HeadingＢｕ¨ｃｈｉ, Ｊ．Ｒｉｃｈａｒｄ． Ｓｉｅｆｋｅｓ, Ｄｉｒｋ．

The complete extensions of the monadic second order theory of countable ordinals

The complete extensions of the monadic second order theory of countable ordinals
Paper図書
by J. Richard Büchi, Dirk SiefkesForschungsinstitut fuer Mathematik ETH Zuerich1973
Other Libraries in Japan
  • Author HeadingBüchi, J. Richard Siefkes, Dirk

The monadic second order theory of all countable ordinals : Germany : U.S.

The monadic second order theory of all countable ordinals : Germany : U.S.
Paper図書
J. Richard Büchi, Dirk SiefkesSpringer1973
Other Libraries in Japan
  • Author HeadingBüchi, J. Richard Siefkes, Dirk

Reached to the end of result.

RSS