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


Hokkaido University \| Library \| HUSCAP	Advanced Search		言語

	Home
	About HUSCAP
	Open Access Policy

	Browse by Author

Browse
	Communities & Collections

	Scholarly Journals
	Theses
	Doctoral Dissertations Listed by Graduate Schools
	Conference Procs.
	Events

	HUSCAP Senior (in Japanese)

	Societies

	Downloads (country)

For university staff
	How to post your papers to HUSCAP
	Publication of theses
	Helpline about theses publication

Open Archives Compliant

You can search our collection also at:
	Google
	Google Scholar
	CiNii
	IRDB
	OAIster
	NDLTD

Files in This Item:

167_217-230.pdf

603.64 kB

PDF

Please use this identifier to cite or link to this item:http://hdl.handle.net/2115/42399

Title:	層状の再帰性発見によるプログラムの推論
Other Titles:	Inference of Programs by Stratifying Recursion
Authors:	石野, 明¹ Browse this author
Authors:	山本, 章博² Browse this author
Authors(alt):	Ishino, Akira¹
Authors(alt):	Yamamoto, Akihiro²
Issue Date:	14-Jan-1994
Publisher:	北海道大学
Journal Title:	北海道大學工學部研究報告
Journal Title(alt):	Bulletin of the Faculty of Engineering, Hokkaido University
Volume:	167
Start Page:	217
End Page:	229
Type:	bulletin (article)
URI:	http://hdl.handle.net/2115/42399
Appears in Collections:	北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University > No.167

OAI-PMH ( junii2 , jpcoar_1.0 )

- Hokkaido University