高木 理 | 京都産業大学理学部
スポンサーリンク
概要
関連著者
-
高木 理
京都産業大学理学部
-
渡邊 宏
産業技術総合研究所システム検証研究センター
-
武山 誠
(独)産業技術総合研究所システム検証研究センター
-
高木 理
Faculty of Science, Kyoto Sangyo University
-
武山 誠
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science an
-
渡邊 宏
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science an
-
渡邊 宏
(独)産業技術総合研究所システム検証研究センター
著作論文
- PVSを用いた遷移系簡約化の検証(サイバー増大ページ論文概要,サイバー増大号)
- 対話型照明支援ツールPVSの紹介(続・システム検証の科学技術,サイバー増大号)
- Representation of successor-type proof-theoretically regular ordinals via limits (Algebra, Languages and Computation)
- 超限的な再帰定義とBar帰納法を持つ構成的算術体系の自然演繹について