層状の再帰性発見によるプログラムの推論

石野, 明; 山本, 章博

北海道大學工學部研究報告, 1994, 167, 217-229

Permalink : https://hdl.handle.net/2115/42399

このアイテムのアクセス数:958件（2026-05-13 03:16 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
167_217-230	pdf	603 KB	763

アクセス権	open access
URI	https://hdl.handle.net/2115/42399
タイトル	層状の再帰性発見によるプログラムの推論
タイトル	Inference of Programs by Stratifying Recursion
著者	著者名石野, 明 Ishino, Akira
著者	著者名山本, 章博 Yamamoto, Akihiro
言語	日本語
発行日	1994-01-14
出版者	北海道大学
出版者	Hokkaido University
収録物名	北海道大學工學部研究報告
収録物名	Bulletin of the Faculty of Engineering, Hokkaido University
巻(号)	167
ページ	217-229
資源タイプ	紀要論文
出版タイプ	Version of Record
PISSN	0385-602X
NCID	AN00230223