Proving Sufficient Completeness of Functional Programs based on Recursive Structure Analysis and Strong Computability
Proving Sufficient Completeness of Functional Programs based on Recursive Structure Analysis and Strong Computability
复制标题
基于递归结构分析和强可计算性证明函数程序的充分完备性
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Toshiki Sakabe
中科院分区：
文献类型：
--
作者：
Keita Sakurai;Keiichirou Kusakari;Naoki Nishida;Masahiko Sakai;Toshiki Sakabe
