一階様相μ計算の完全性と安定性理論に関する結果 Completeness of first-order modal μ-calculus and some results on stability theory

この論文にアクセスする

この論文をさがす

著者

    • 岡本, 圭史 オカモト, ケイシ

書誌事項

タイトル

一階様相μ計算の完全性と安定性理論に関する結果

タイトル別名

Completeness of first-order modal μ-calculus and some results on stability theory

著者名

岡本, 圭史

著者別名

オカモト, ケイシ

学位授与大学

早稲田大学

取得学位

博士 (理学)

学位授与番号

乙第2164号

学位授与年月日

2008-03-24

注記・抄録

博士論文

制度:新 ; 文部省報告番号:乙2164号 ; 学位の種類:博士(理学) ; 授与年月日:2008/3/24 ; 早大学位記番号:新4818

1アクセス

各種コード

  • NII論文ID(NAID)
    500000435481
  • NII著者ID(NRID)
    • 8000000436784
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000009367582
  • データ提供元
    • 機関リポジトリ
    • NDL ONLINE
ページトップへ