WEKO3
AND
アイテム
{"_buckets": {"deposit": "fc7ac4f5-dcb2-4e82-bd2e-992e76988e02"}, "_deposit": {"id": "18478", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "18478"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00018478"}, "item_12_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "\u9805\u66f8\u63db\u3048\u7cfb\u306e\u505c\u6b62\u6027\u306e\u305f\u3081\u306e\u91cd\u307f\u4ed8\u7d4c\u8def\u9806\u5e8f"}]}, "item_12_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2014-09-29", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_12_date_granted_64": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u5e74\u6708\u65e5", "attribute_value_mlt": [{"subitem_dategranted": "2014-09-29"}]}, "item_12_degree_grantor_62": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u6a5f\u95a2", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "\u540d\u53e4\u5c4b\u5927\u5b66"}]}]}, "item_12_degree_name_61": {"attribute_name": "\u5b66\u4f4d\u540d", "attribute_value_mlt": [{"subitem_degreename": "\u535a\u58eb(\u60c5\u5831\u79d1\u5b66)"}]}, "item_12_dissertation_number_65": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u756a\u53f7", "attribute_value_mlt": [{"subitem_dissertationnumber": "13901\u7532\u7b2c10749\u53f7"}]}, "item_12_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/20647"}]}, "item_12_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "ETD"}]}, "item_12_text_63": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u5e74\u5ea6", "attribute_value_mlt": [{"subitem_text_value": "2014"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Yamada, Akihisa"}], "nameIdentifiers": [{"nameIdentifier": "53714", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u5c71\u7530, \u6643\u4e45"}], "nameIdentifiers": [{"nameIdentifier": "53715", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "k10749_abstract.pdf", "filesize": [{"value": "142.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 142500.0, "url": {"label": "k10749_abstract.pdf ", "url": "https://nagoya.repo.nii.ac.jp/record/18478/files/k10749_abstract.pdf"}, "version_id": "c64a15fb-c461-4e44-add4-58b5f8a1f953"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "k10749_review.pdf", "filesize": [{"value": "152.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 152200.0, "url": {"label": "k10749_review.pdf ", "url": "https://nagoya.repo.nii.ac.jp/record/18478/files/k10749_review.pdf"}, "version_id": "eb6156a2-98ec-41fc-a6d2-69623081f8d7"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 2, "filename": "k10749_thesis.pdf", "filesize": [{"value": "753.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 753300.0, "url": {"label": "k10749_thesis.pdf ", "url": "https://nagoya.repo.nii.ac.jp/record/18478/files/k10749_thesis.pdf"}, "version_id": "a94e2a4b-f1eb-4145-8476-b6baa4f11223"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "thesis", "resourceuri": "http://purl.org/coar/resource_type/c_46ec"}]}, "item_title": "The Weighted Path Order for Termination of Term Rewriting", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "The Weighted Path Order for Termination of Term Rewriting"}]}, "item_type_id": "12", "owner": "1", "path": ["312/651/734"], "permalink_uri": "http://hdl.handle.net/2237/20647", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2014-10-31"}, "publish_date": "2014-10-31", "publish_status": "0", "recid": "18478", "relation": {}, "relation_version_is_last": true, "title": ["The Weighted Path Order for Termination of Term Rewriting"], "weko_shared_id": null}
The Weighted Path Order for Termination of Term Rewriting
http://hdl.handle.net/2237/20647
512188a6-b27f-4ab9-86c6-2453c7550afe
名前 / ファイル | ライセンス | アクション | |
---|---|---|---|
![]() |
|
||
![]() |
|
||
![]() |
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-10-31 | |||||
タイトル | ||||||
タイトル | The Weighted Path Order for Termination of Term Rewriting | |||||
その他のタイトル | ||||||
その他のタイトル | 項書換え系の停止性のための重み付経路順序 | |||||
著者 |
Yamada, Akihisa
× Yamada, Akihisa× 山田, 晃久 |
|||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_46ec | |||||
タイプ | thesis | |||||
書誌情報 | 発行日 2014-09-29 | |||||
学位名 | ||||||
学位名 | 博士(情報科学) | |||||
学位授与機関 | ||||||
学位授与機関名 | ||||||
学位授与機関名 | 名古屋大学 | |||||
学位授与年度 | ||||||
学位授与年度 | 2014 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2014-09-29 | |||||
学位授与番号 | ||||||
学位授与番号 | 13901甲第10749号 | |||||
著者版フラグ | ||||||
値 | ETD | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/20647 | |||||
識別子タイプ | HDL |