Jump to main content

yr 〜
yr

Search results 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.
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
  • Subject HeadingMachine theory Logic, Symbolic and mathematical Büchi, J. Richard
  • Subject Heading (ID)Machine theory Logic, Symbolic and mathematical Büchi, J. Richard
  • Author HeadingBüchi, J. Richard Mac Lane, Saunders Siefkes, D...

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.

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

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

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

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

Die Boole'sche Partialordnung und die Paarung von Gefügen
Paper図書
vorgelegt von J. Richard BüchiPortugaliae Mathematica1950
Other Libraries in Japan
  • Author HeadingBüchi, J. Richard

Reached to the end of result.

RSS