The Weighted Path Order for Termination of Term Rewriting

• Material Type: 博士論文
• Title: The Weighted Path Order for Termination of Term Rewriting
• Author/Editor: Yamada, Akihisa; 山田, 晃久
• Author Heading: Yamada, Akihisa; 山田, 晃久
• Publication Date: 2014-09-29
• Publication Date (W3CDTF): 2014-09-29
• Alternative Title: 項書換え系の停止性のための重み付経路順序
• Degree grantor/type: 名古屋大学
• Date Granted: 2014-09-29
• Date Granted (W3CDTF): 2014-09-29
• Dissertation Number: 甲第10749号
• Degree Type: 博士(情報科学)
• Conferring No. (Dissertation): 甲第10749号
• Text Language Code: eng
• Target Audience: 一般
• Persistent ID (NDL): info:ndljp/pid/8952307; https://dl.ndl.go.jp/pid/8952307
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• Acquisition Basis: 博士論文（自動収集）
• Available (W3CDTF): 2015-03-03
• Date Accepted (W3CDTF): 2015-02-03T05:25:05+09:00
• Format (IMT): PDF; application/pdf
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
• Availability of remote photoduplication service: 可
• Periodical Title (URI): http://hdl.handle.net/2237/20647; https://nagoya.repo.nii.ac.jp/records/18478
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

Table of Contents

2023-12-09 再収集

2023-12-09 再収集

2023-12-09 再収集