Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Title Transcription
- イッカイ ヨウソウ ミュー ケイサン ノ カンゼンセイ ト アンテイセイ リロン ニ カンスル ケッカ
- Author/Editor
- 岡本圭史 [著]
- Author Heading
- 岡本, 圭史 オカモト, ケイシ
- Publication, Distribution, etc.
- Publication Date
- [2008]
- Publication Date (W3CDTF)
- 2008
- Extent
- 1冊
- Alternative Title
- Completeness of first-order modal μ-calculus and some results on stability theory