検索結果 11 件
紙図書
国立国会図書館
- 件名項書き換えシステム / Church-Rosser (合流性) / 非線形TRS / 完備化手続き / 定理の自動証明 / 単一化 / 語問題 / 項合流性
紙図書
国立国会図書館
- 件名項書き換えシステム Church-Rosser (合流性) 非線形TRS 完備化手続き 定理の自動証明 単一化 深さ...
デジタル文書・図像類
全国の図書館
- 件名項書換え 合流性 完備化 戦略
- 一般注記...再考した。その研究成果として、合流性に関する主要二定理(Rosen......これらの新技法を採用した強力な合流性解析ツールSaigawa と自動完備化ツールMaxcomp ...
デジタル文書・図像類
全国の図書館
- 件名項書換え 合流性 国際研究者交流 オーストリア
- 一般注記...必ず一意に定まることを保証する合流性は、効率な計算の実現に大切な性質である。本研究では合流性の証明手法とその応用に取り組み......る技法を開発・発展させ、強力な合流性解析を実現した。(2)それらの知見の応用として、定理自動証明...
デジタル文書・図像類
全国の図書館
- 件名形式証明 計算的意味 項書換え系 合流性 構成的証明
- 一般注記...線形かつ強無曖昧な項書換え系は合流性を持つ」(RTA open problem 58)は、可算選...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名... メタ言語 環境 文法的対象 合流性 計算体系 型理論 強正規化性 Meta Language ...
検索結果は以上です。