九州大学大学院システム情報科学府情報理学専攻博士後期課程
2005 年 22 巻 3 号 p. 3_123-3_133
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
Orlowskaの検証系は同域的な体系の関係計算の式に関する完全かつ健全な検証系である.しかし,計算機による自動検証を行うには非効率的な規則構成になっている.本研究ではこの検証系と同等で一意的な規則適用が可能な系を提案し,実装を行った.また,それらが停止性と完全性を同時には満たさないことを示す反例を発見した.
すでにアカウントをお持ちの場合 サインインはこちら