Search results 11
Paper図書
National Diet Library
- Subject Heading項書き換えシステム / Church-Rosser (合流性) / 非線形TRS / 完備化手続き / 定理の自動証明 / 単一化 / 語問題 / 項合流性
Paper図書
National Diet Library
- Subject Heading文脈 / 環境 / 対象言語 / メタ言語 / 超変数 / 合流性 / 強正規化性 / 変数の衝突
Paper図書
National Diet Library
- Subject Heading項書き換えシステム Church-Rosser (合流性) 非線形TRS 完備化手続き 定理の自動証明 単一化 深さ...
Paper図書
National Diet Library
- Subject Heading項書き換えシステム 高階書き換えシステム 合流性 停止性 リダクシヨン
Paper図書
National Diet Library
- Subject Heading項書き換えシステム 左線形TRS 合流性 Church-Rosser 完備化手続き 非線形TRS 強...
Paper図書
National Diet Library
- Subject Heading項書き換えシステム 合流性 E重なり 非ω重なり 単純右線形TRS 深さ保存性 系列正...
Paper図書
National Diet Library
- Subject Heading条件付き換え系 宣言型プロクラミング 関数・論理型言語 ナローイング 階層合流性 モジユラー性 プログラム意味論
Digital文書・図像類
Other Libraries in Japan
- Subject Heading項書換え 合流性 完備化 戦略
- Note (General)...再考した。その研究成果として、合流性に関する主要二定理（Rosen......これらの新技法を採用した強力な合流性解析ツールSaigawa と自動完備化ツールMaxcomp ...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading項書換え 合流性 国際研究者交流 オーストリア
- Note (General)...必ず一意に定まることを保証する合流性は、効率な計算の実現に大切な性質である。本研究では合流性の証明手法とその応用に取り組み......る技法を開発・発展させ、強力な合流性解析を実現した。（２）それらの知見の応用として、定理自動証明...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading形式証明 計算的意味 項書換え系 合流性 構成的証明
- Note (General)...線形かつ強無曖昧な項書換え系は合流性を持つ」(RTA open problem 58)は、可算選...
Digital文書・図像類
Available onlineOther Libraries in Japan
- Subject Heading... メタ言語 環境 文法的対象 合流性 計算体系 型理論 強正規化性 Meta Language ...