ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_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", "sets": ["734"]}, "author_link": ["53714", "53715"], "item_12_alternative_title_19": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "項書換え系の停止性のための重み付経路順序", "subitem_alternative_title_language": "ja"}]}, "item_12_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2014-09-29", "bibliographicIssueDateType": "Issued"}}]}, "item_12_date_granted_64": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2014-09-29"}]}, "item_12_degree_grantor_62": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_language": "ja", "subitem_degreegrantor_name": "名古屋大学"}, {"subitem_degreegrantor_language": "en", "subitem_degreegrantor_name": "Nagoya University"}], "subitem_degreegrantor_identifier": [{"subitem_degreegrantor_identifier_name": "13901", "subitem_degreegrantor_identifier_scheme": "kakenhi"}]}]}, "item_12_degree_name_61": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "博士(情報科学)", "subitem_degreename_language": "ja"}]}, "item_12_dissertation_number_65": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第10749号"}]}, "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": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "ETD"}]}, "item_12_text_63": {"attribute_name": "学位授与年度", "attribute_value_mlt": [{"subitem_text_value": "2014"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Yamada, Akihisa", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "53714", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "山田, 晃久", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "53715", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "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_note", "mimetype": "application/pdf", "size": 142500.0, "url": {"label": "k10749_abstract.pdf ", "objectType": "abstract", "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_note", "mimetype": "application/pdf", "size": 152200.0, "url": {"label": "k10749_review.pdf ", "objectType": "other", "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_note", "mimetype": "application/pdf", "size": 753300.0, "url": {"label": "k10749_thesis.pdf ", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/18478/files/k10749_thesis.pdf"}, "version_id": "a94e2a4b-f1eb-4145-8476-b6baa4f11223"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "doctoral thesis", "resourceuri": "http://purl.org/coar/resource_type/c_db06"}]}, "item_title": "The Weighted Path Order for Termination of Term Rewriting", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "The Weighted Path Order for Termination of Term Rewriting", "subitem_title_language": "en"}]}, "item_type_id": "12", "owner": "1", "path": ["734"], "permalink_uri": "http://hdl.handle.net/2237/20647", "pubdate": {"attribute_name": "PubDate", "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": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500d 学位論文
  3. 博士論文(情科博・論情科博)

The Weighted Path Order for Termination of Term Rewriting

http://hdl.handle.net/2237/20647
http://hdl.handle.net/2237/20647
512188a6-b27f-4ab9-86c6-2453c7550afe
名前 / ファイル ライセンス アクション
k10749_abstract.pdf k10749_abstract.pdf (142.5 kB)
k10749_review.pdf k10749_review.pdf (152.2 kB)
k10749_thesis.pdf k10749_thesis.pdf (753.3 kB)
Item type 学位論文 / Thesis or Dissertation(1)
公開日 2014-10-31
タイトル
タイトル The Weighted Path Order for Termination of Term Rewriting
言語 en
その他のタイトル
その他のタイトル 項書換え系の停止性のための重み付経路順序
言語 ja
著者 Yamada, Akihisa

× Yamada, Akihisa

WEKO 53714

en Yamada, Akihisa

Search repository
山田, 晃久

× 山田, 晃久

WEKO 53715

ja 山田, 晃久

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
言語
言語 eng
資源タイプ
資源 http://purl.org/coar/resource_type/c_db06
タイプ doctoral thesis
書誌情報
発行日 2014-09-29
学位名
言語 ja
学位名 博士(情報科学)
学位授与機関
学位授与機関識別子Scheme kakenhi
学位授与機関識別子 13901
言語 ja
学位授与機関名 名古屋大学
言語 en
学位授与機関名 Nagoya University
学位授与年度
学位授与年度 2014
学位授与年月日
学位授与年月日 2014-09-29
学位授与番号
学位授与番号 甲第10749号
著者版フラグ
値 ETD
URI
識別子 http://hdl.handle.net/2237/20647
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 16:39:51.751737
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3