Comparing Expressiveness of First-Order Modal $\mu$-calculus and First-Order $\rm{CTL}^{\ast}$ (Model Theory and It's Application to Algebra)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 岡本 圭史

  産業技術総合研究所

関連論文

• Comparing Expressiveness of First-Order Modal $\mu$-calculus and First-Order $\rm{CTL}^{\ast}$ (Model Theory and It's Application to Algebra)
• オントロジーに基づくサービスプロセスからの共通構造抽出法
• 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計
• On generic Kripke structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
• On random Kripke frames (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
• GROUP CONFIGURATIONS IN SIMPLE THEORIES (PART. 2) (Interaction between model theory and algebraic geometry)
• 情報システムの構造化仕様のための業務オントロジーの試作
• 先端技術動向紹介・将来展望(4)組み込みソフトウェア製品の品質評価手法の動向

スポンサーリンク