WEKO3
アイテム
{"_buckets": {"deposit": "e7374e02-c2f6-4a14-bba6-4d543bfe3456"}, "_deposit": {"id": "2020", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "2020"}, "status": "published"}, "_oai": {"id": "oai:niigata-u.repo.nii.ac.jp:00002020", "sets": ["454", "425"]}, "author_link": ["40578"], "control_number": "2020", "item_5_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1984-12", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "3", "bibliographicPageEnd": "329", "bibliographicPageStart": "312", "bibliographicVolumeNumber": "29", "bibliographic_titles": [{"bibliographic_title": "Journal of Computer and System Sciences"}, {"bibliographic_title": "Journal of Computer and System Sciences", "bibliographic_titleLang": "en"}]}]}, "item_5_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "We apply a result/concept on star height to two problems in the theory of control structures. First, we generalize Kosaraju’s systems RE_n of control structures and show, by using Cohen’s result on star height, that the generalized systems constitute a path-wise hierarchy with respect to their expressive powers. Second, by using a concept on star height, we sharpen Peterson et al.\u0027s result that RE_∞ is path-wisely complete.", "subitem_description_type": "Abstract"}]}, "item_5_publisher_7": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Elsevier"}]}, "item_5_relation_14": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type_id": {"subitem_relation_type_id_text": "http://doi.org/10.1016/0022-0000(84)90002-3", "subitem_relation_type_select": "DOI"}}]}, "item_5_select_19": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "author"}]}, "item_5_source_id_11": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA00251469", "subitem_source_identifier_type": "NCID"}]}, "item_5_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "00220000", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Motoki, Tatsuya"}], "nameIdentifiers": [{"nameIdentifier": "40578", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-07-29"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "29_3_312-329.pdf", "filesize": [{"value": "1.0 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1000000.0, "url": {"label": "29_3_312-329.pdf", "url": "https://niigata-u.repo.nii.ac.jp/record/2020/files/29_3_312-329.pdf"}, "version_id": "7cfcb073-e151-4b90-bb9f-01fa04ccad5d"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "An Application of Cohen\u0027s Result on Star Height to the Theory of Control Structures", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "An Application of Cohen\u0027s Result on Star Height to the Theory of Control Structures", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "1", "path": ["454", "425"], "permalink_uri": "http://hdl.handle.net/10191/21947", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2013-04-19"}, "publish_date": "2013-04-19", "publish_status": "0", "recid": "2020", "relation": {}, "relation_version_is_last": true, "title": ["An Application of Cohen\u0027s Result on Star Height to the Theory of Control Structures"], "weko_shared_id": -1}
An Application of Cohen's Result on Star Height to the Theory of Control Structures
http://hdl.handle.net/10191/21947
http://hdl.handle.net/10191/21947d47498f1-19ad-4f9b-a346-acc409d42ee1
名前 / ファイル | ライセンス | アクション |
---|---|---|
29_3_312-329.pdf (1.0 MB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-04-19 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | An Application of Cohen's Result on Star Height to the Theory of Control Structures | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
著者 |
Motoki, Tatsuya
× Motoki, Tatsuya |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | We apply a result/concept on star height to two problems in the theory of control structures. First, we generalize Kosaraju’s systems RE_n of control structures and show, by using Cohen’s result on star height, that the generalized systems constitute a path-wise hierarchy with respect to their expressive powers. Second, by using a concept on star height, we sharpen Peterson et al.'s result that RE_∞ is path-wisely complete. | |||||
書誌情報 |
Journal of Computer and System Sciences en : Journal of Computer and System Sciences 巻 29, 号 3, p. 312-329, 発行日 1984-12 |
|||||
出版者 | ||||||
出版者 | Elsevier | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 00220000 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA00251469 | |||||
DOI | ||||||
識別子タイプ | DOI | |||||
関連識別子 | http://doi.org/10.1016/0022-0000(84)90002-3 | |||||
著者版フラグ | ||||||
値 | author |