年 〜
年

検索結果 8 件

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.
紙図書
Springer-Verlagc1989.<MA41-A66>
国立国会図書館
  • 著者標目Bü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
紙図書
J. Richard Büchi ; Dirk Siefkes, editorSpringerc1989
全国の図書館

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

The collected works of J. Richard Büchi : U.S. : Germany
紙図書
Saunders Mac Lane, Dirk Siefkes, editorsSpringer-Verlagc1990
全国の図書館

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)
紙図書
Springer1973.<MA41-61>
国立国会図書館
  • 著者標目Büchi, J. Richard. Siefkes, Dirk.

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

Ｔｈｅ　ｍｏｎａｄｉｃ　ｓｅｃｏｎｄ　ｏｒｄｅｒ　ｔｈｅｏｒｙ　ｏｆ　ａｌｌ　ｃｏｕｎｔａｂｌｅ　ｏｒｄｉｎａｌｓ (Ｄｅｃｉｄａｂｌｅ　ｔｈｅｏｒｉｅｓ : Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)
紙図書
［ｂｙ］Ｊ．ＲｉｃｈａｒｄＢｕ¨ｃｈｉ［ａｎｄ］ＤｉｒｋＳｉｅｆｋｅｓ． ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９７３．
全国の図書館

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

The complete extensions of the monadic second order theory of countable ordinals
紙図書
by J. Richard Büchi, Dirk SiefkesForschungsinstitut fuer Mathematik ETH Zuerich1973
全国の図書館

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

The monadic second order theory of all countable ordinals : Germany : U.S.
紙図書
J. Richard Büchi, Dirk SiefkesSpringer1973
全国の図書館

Die Boole'sche Partialordnung und die Paarung von Gefügen

Die Boole'sche Partialordnung und die Paarung von Gefügen
紙図書
vorgelegt von J. Richard BüchiPortugaliae Mathematica1950
全国の図書館

検索結果は以上です。