Riceの定理のアナロジーについて (形式体系と計算理論)

ダウンロード数: 118

http://hdl.handle.net/2433/170540

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1729-14.pdf		299.74 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	吉川, 紘史	ja
dc.contributor.author	横山, 啓太	ja
dc.contributor.alternative	Yoshikawa, Hirofumi	en
dc.contributor.alternative	Yokoyama, Keita	en
dc.contributor.transcription	ヨシカワ, ヒロフミ	ja
dc.contributor.transcription	ヨコヤマ, ケイタ	ja
dc.date.accessioned	2013-02-27T05:11:00Z	-
dc.date.available	2013-02-27T05:11:00Z	-
dc.date.issued	2011-02	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/170540	-
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	Riceの定理のアナロジーについて (形式体系と計算理論)	ja
dc.title.transcription	RICE ノテイリノアナロジーニツイテケイシキタイケイトケイサンリロン	ja-Kana
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1729	-
dc.identifier.spage	163	-
dc.identifier.epage	166	-
dc.textversion	publisher	-
dc.sortkey	14	-
dc.address	東京工業大学情報理工学研究科数理計算科学専攻	ja
dc.address	東北大学理学研究科	ja
dc.address.alternative	Tokyo Inst. Tech.	en
dc.address.alternative	Tohoku U.	en
dcterms.accessRights	open access	-
出現コレクション:	1729 形式体系と計算理論

このリポジトリに保管されているアイテムはすべて著作権により保護されています。