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