{"_buckets": {"deposit": "1d861868-7eb4-4b23-a30b-b8c5cdf12fdd"}, "_deposit": {"id": "7649", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "7649"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00007649"}, "item_9_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007-05", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "177", "bibliographicPageStart": "171", "bibliographicVolumeNumber": "1554", "bibliographic_titles": [{"bibliographic_title": "\u6570\u7406\u89e3\u6790\u7814\u7a76\u6240\u8b1b\u7a76\u9332"}]}]}, "item_9_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "This paper shows the undecidability of confluence for length preserving string rewriting systems. It is proven by reducing the Post\u0027s correspondence problem(PCP), which is known to be undecidable, to confluence problem for length preserving string rewriting systems. More precisely, we designed a reduction algorithm having the property that the existence of a solution for a given instance of PCP concides with the non-confluence of the string rewriting system obtained from the reduction algorithm.", "subitem_description_type": "Abstract"}]}, "item_9_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/9353"}]}, "item_9_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "\u4eac\u90fd\u5927\u5b66\u6570\u7406\u89e3\u6790\u7814\u7a76\u6240"}]}, "item_9_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_9_source_id_7": {"attribute_name": "ISSN\uff08print\uff09", "attribute_value_mlt": [{"subitem_source_identifier": "1880-2818", "subitem_source_identifier_type": "ISSN"}]}, "item_9_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": "WANG, Yi"}], "nameIdentifiers": [{"nameIdentifier": "21619", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "21620", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NISHIDA, Naoki"}], "nameIdentifiers": [{"nameIdentifier": "21621", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKABE, Toshiki"}], "nameIdentifiers": [{"nameIdentifier": "21622", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KUSAKARI, Keiichirou"}], "nameIdentifiers": [{"nameIdentifier": "21623", "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": "1554_171-177.pdf", "filesize": [{"value": "348.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 348600.0, "url": {"label": "1554_171-177.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/7649/files/1554_171-177.pdf"}, "version_id": "4a63f0c3-ea93-451e-ab63-0773d8bf76b4"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "Post\u0027s correspondence Problem", "subitem_subject_scheme": "Other"}]}, "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": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Confluence of Length Preserving String Rewriting Systems is Undecidable", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Confluence of Length Preserving String Rewriting Systems is Undecidable"}]}, "item_type_id": "9", "owner": "1", "path": ["312/313/314"], "permalink_uri": "http://hdl.handle.net/2237/9353", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2008-01-22"}, "publish_date": "2008-01-22", "publish_status": "0", "recid": "7649", "relation": {}, "relation_version_is_last": true, "title": ["Confluence of Length Preserving String Rewriting Systems is Undecidable"], "weko_shared_id": null}