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

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

Term rewriting for normalization by evaluation

Term rewriting for normalization by evaluation

Ulrich Berger; Matthias Eberl; Helmut Schwichtenberg

作者Ulrich Berger; Matthias Eberl; Helmut Schwichtenberg
卷第183卷
期第1期
印刷ISSN0890-5401
电子ISSN1090-2651
文件大小260.02KB
发表时间2003
DOI10.1016/s0890-5401(03)00014-2
页码19-42

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