{"_buckets": {"deposit": "c9906e41-290c-43ef-a839-2f99647f3c5c"}, "_deposit": {"id": "8663", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "8663"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00008663"}, "item_18_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2006-12", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "168", "bibliographicPageStart": "161", "bibliographic_titles": [{"bibliographic_title": "4th Symposium on \"Intelligent Media Integration for Social Information Infrastructure\" December 7-8, 2006"}]}]}, "item_18_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "We consider several classes of term rewriting systems and prove that termination is decidable for these classes. By showing the cycling property of infinite dependency chains, we prove that termination is decidable for semi-constructor case, which is a superclass of right-ground TRSs. By analyzing argument propagation cycles in the dependency graph, we show that termination is also decidable for left-linear shallow TRSs. Moreover we extend these by combining these two techniques.", "subitem_description_type": "Abstract"}]}, "item_18_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/10414"}]}, "item_18_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "INTELLIGENT MEDIA INTEGRATION  NAGOYA UNIVERSITY / COE"}]}, "item_18_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_18_text_14": {"attribute_name": "\u30d5\u30a9\u30fc\u30de\u30c3\u30c8", "attribute_value_mlt": [{"subitem_text_value": "application/pdf"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Sakai, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "24374", "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-19"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "p161-168_Classes_whose_termination_is_decidable.pdf", "filesize": [{"value": "531.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 531900.0, "url": {"label": "p161-168_Classes_whose_termination_is_decidable.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/8663/files/p161-168_Classes_whose_termination_is_decidable.pdf"}, "version_id": "542fbb45-6ca5-4195-bd94-7be606c0bdc4"}]}, "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": "conference paper", "resourceuri": "http://purl.org/coar/resource_type/c_5794"}]}, "item_title": "CLASSES WHOSE TERMINATION IS DECIDABLE", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "CLASSES WHOSE TERMINATION IS DECIDABLE", "subitem_title_language": "en"}]}, "item_type_id": "18", "owner": "1", "path": ["312/1037/1038"], "permalink_uri": "http://hdl.handle.net/2237/10414", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2008-08-20"}, "publish_date": "2008-08-20", "publish_status": "0", "recid": "8663", "relation": {}, "relation_version_is_last": true, "title": ["CLASSES WHOSE TERMINATION IS DECIDABLE"], "weko_shared_id": null}