最小normal論理Kより小さい擬論理の標準形展開 (計算モデルとアルゴリズム)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 大芝 猛

  椙山女学園大学

関連論文

• Multi-modal logicsにおけるShannonの標準形展開の自然な拡張 (計算機科学基礎理論の新展開)
• 最小normal論理Kより小さい擬論理の標準形展開 (計算モデルとアルゴリズム)
• 知識論理・様相論理の標準形展開基底による特性化(計算モデルと計算の複雑さに関する研究)
• 知識命題の標準形を用いる妥当性検証(アルゴリズムと計算量理論)
• 右延長文法により生成される言語について (オートマトン理論と数理言語の研究)
• LanguageにおけるWordsのPermutationについて (情報科学の数学的理論)

スポンサーリンク