Search records | 東京工業大学附属図書館蔵書検索

同じキーワードで他のサイトを検索できます。

しぼり込み検索

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 図書 ID / 書誌 ID：

出版年：

～

所在：

主題：

請求記号：

目次情報：

表示順選択

検索結果: 2 件

図書

1. The monadic second order theory of all countable ordinals (: Germany ; : U.S.)

J. Richard Büchi, Dirk Siefkes

出版情報:	Berlin ; New York : Springer, 1973 vi, 217 p. ; 26 cm
シリーズ名:	Lecture notes in mathematics ; 328 Decidable theories ; 2
子書誌情報:	loading…
所蔵情報:	loading…

目次情報:

The monadic second order theory of ω[1] / J. Richard Büchi

Axiomatization of the monadic second order theory of ω[1] / J. Richard Büchi, Dirk Siefkes

The monadic second order theory of ω[1] / J. Richard Büchi

Axiomatization of the monadic second order theory of ω[1] / J. Richard Büchi, Dirk Siefkes

図書

2. Finite automata, their algebras and grammars : towards a theory of formal expressions (: us ; : gw)

J. Richard Büchi ; Dirk Siefkes, editor

出版情報:	New York ; Berlin ; Tokyo : Springer, c1989 xxii, 316 p. ; 25 cm
子書誌情報:	loading…
所蔵情報:	loading…

文献の複写および貸借の依頼を行う