博士論文

Automata-theoretic study on infinite games and fragments of modal μ-calculus

博士論文を表すアイコン

Automata-theoretic study on infinite games and fragments of modal μ-calculus

国立国会図書館請求記号
UT51-2018-B248
国立国会図書館書誌ID
029772235
資料種別
博士論文
著者
Wenjuan Li [著]
出版者
[Wenjuan Li]
出版年
[2018]
資料形態
ページ数・大きさ等
1冊
授与大学名・学位
東北大学,博士(理学)
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
博士論文
著者・編者
Wenjuan Li [著]
著者標目
李, 文娟 リ, ブンケン
出版事項
出版年月日等
[2018]
出版年(W3CDTF)
2018
数量
1冊
並列タイトル等
無限ゲームと様相μ計算の部分体系についてのオートマトン理論的研究 ムゲン ゲーム ト ヨウソウ m ケイサン ノ ブブン タイケイ ニ ツイテ ノ オートマトン リロンテキ ケンキュウ
授与機関名
東北大学