HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Engineering / Faculty of Engineering >
北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University >
No.167 >

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

Files in This Item:
167_217-230.pdf603.64 kBPDFView/Open
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: 石野, 明1 Browse this author
山本, 章博2 Browse this author
Authors(alt): Ishino, Akira1
Yamamoto, Akihiro2
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

Export metadata:

OAI-PMH ( junii2 , jpcoar )

MathJax is now OFF:


 

Feedback - Hokkaido University