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

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/254750
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
2130-14.pdf2.46 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author岩見, 宗弘ja
dc.contributor.alternativeIwami, Munehiroen
dc.contributor.transcriptionイワミ, ムネヒロ-
dc.date.accessioned2020-09-29T05:51:55Z-
dc.date.available2020-09-29T05:51:55Z-
dc.date.issued2019-10-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/254750-
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.title.alternativeComparison of Uniform Semi-Unification and Rational Unification (Algebraic System, Logic, Language and Related Areas in Computer Science)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume2130-
dc.identifier.spage80-
dc.identifier.epage84-
dc.textversionpublisher-
dc.sortkey14-
dc.address島根大学総合理工学部ja
dc.address.alternativeInterdisciplinary Faculty of Science and Engineering, Shimane Universityen
dcterms.accessRightsopen access-
dc.identifier.jtitle-alternativeRIMS Kokyurokuen
出現コレクション:2130 代数系、論理、言語と計算機科学の周辺

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

Export to RefWorks


出力フォーマット 


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