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

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

Deriving linear size relations for logic programs by abstract interpretation

Deriving linear size relations for logic programs by abstract interpretation

Danny De Schreye; Kristof Verschaetse

作者Danny De Schreye; Kristof Verschaetse
卷第13卷
期第2期
印刷ISSN0288-3635
电子ISSN1882-7055
文件大小1781.36KB
发表时间1995-06
DOI10.1007/bf03038311
页码117-154

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