发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Proving termination of GHC programs

Proving termination of GHC programs

M. R. K. Krishna Rao; D. Kapur; R. K. Shyamasundar

作者M. R. K. Krishna Rao; D. Kapur; R. K. Shyamasundar
卷第15卷
期第3期
印刷ISSN0288-3635
电子ISSN1882-7055
文件大小2227.59KB
发表时间1997-09
DOI10.1007/bf03037949
页码293-338

← 返回【学霸图书馆】主页