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

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

Term Rewriting with Type-safe Traversal Functions

Term Rewriting with Type-safe Traversal Functions

M.G.J. van den Brand; P. Klint; J.J. Vinju

作者M.G.J. van den Brand; P. Klint; J.J. Vinju
卷第70卷
期第6期
印刷ISSN1571-0661
文件大小990.47KB
发表时间2002
DOI10.1016/s1571-0661(04)80602-9
页码100-117

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