1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 2051 言語、論理、代数系と計算機科学の展開
ダウンロード数: 75

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/237098
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
2051-19.pdf1.18 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author岩見, 宗弘ja
dc.contributor.alternativeIwami, Munehiroen
dc.contributor.transcriptionイワミ, ムネヒロ-
dc.date.accessioned2019-03-07T05:45:06Z-
dc.date.available2019-03-07T05:45:06Z-
dc.date.issued2017-10-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/237098-
dc.description.abstract有限項上の(一階の)単一化アルゴリズムは, 推論規則を用いて形式化され, その停止性, 健全性と完全性が多くの文献で示されている. また, 正則項上の単一化に対しても, 推論規則を与えて形式化したいくつかの先行研究がある. しかしながら, それらの研究において, 停止性, 健全性と完全性がきちんと示されているものはあまりない. そこで本論文では, 正則項上における単一化の基礎理論を項書換えシステムの枠組みで整理することを目標とする. まず, 正則項上の単一化を推論規則を用いて再定式化する. 次に, その停止性, 健全性と完全性の証明を与える. 最後に, これらを用いて単一化可能であるならば, 最汎単一化子である正則代入が存在することを示す.ja
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.publisher.alternativeResearch Institute for Mathematical Sciences, Kyoto Universityen
dc.subject.ndc410-
dc.title正則項上の単一化について (言語、論理、代数系と計算機科学の展開)ja
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume2051-
dc.identifier.spage106-
dc.identifier.epage115-
dc.textversionpublisher-
dc.sortkey19-
dc.address島根大学総合理工学研究科ja
dc.address.alternativeInterdisciplinary Faculty of Science and Engineering, Shimane Universityen
dcterms.accessRightsopen access-
dc.identifier.jtitle-alternativeRIMS Kokyurokuen
出現コレクション:2051 言語、論理、代数系と計算機科学の展開

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。