代数的仕様における振舞等価性証明のための線形文脈帰納法について (計算モデルとアルゴリズム)

ダウンロード数: 110

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

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

ファイル	記述	サイズ	フォーマット
1093-26.pdf		1.04 MB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	二井, 靖彦	ja
dc.contributor.author	坂部, 俊樹	ja
dc.contributor.alternative	Nii, Yasuhiko	en
dc.contributor.alternative	Sakabe, Toshiki	en
dc.contributor.transcription	ニイ, ヤスヒコ	ja
dc.contributor.transcription	サカベ, トシキ	ja
dc.date.accessioned	2008-07-09T08:23:59Z	-
dc.date.available	2008-07-09T08:23:59Z	-
dc.date.issued	1999-04	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/62957	-
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	代数的仕様における振舞等価性証明のための線形文脈帰納法について (計算モデルとアルゴリズム)	ja
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1093	-
dc.identifier.spage	148	-
dc.identifier.epage	154	-
dc.textversion	publisher	-
dc.sortkey	26	-
dc.address	名古屋大学工学研究科情報工学専攻	ja
dc.address	名古屋大学工学研究科情報工学専攻	ja
dcterms.accessRights	open access	-
出現コレクション:	1093 計算モデルとアルゴリズム

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