二階の書換え系における引数切り落とし法

二階の書換え系における引数切り落とし法

Bibliographic Details
Main Authors: NISHIDA, Naoki, SAKABE, Toshiki, SAKAI, Masahiko, KUSAKARI, Keiichirou, ISOGAI, Yasuo, 西田, 直樹, 坂部, 俊樹, 酒井, 正彦, 草刈, 圭一朗, 磯谷, 泰巨
Language:ja
Published: 一般社団法人電子情報通信学会 2007
Subjects:
引数切り落とし法
静的依存対法
強計算性
停止性
高階書換え系
関数プログラム
Online Access:http://hdl.handle.net/2237/21097
http://ci.nii.ac.jp/naid/110006343342

Internet

http://hdl.handle.net/2237/21097
http://ci.nii.ac.jp/naid/110006343342

Similar Items