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

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

Language definitions as rewrite theories

Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore

期刊名称Journal of Logical and Algebraic Methods in Programming
作者Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore
卷第85卷
期第1期
印刷ISSN2352-2208
文件大小738.88KB
发表时间2016-01
DOI10.1016/j.jlamp.2015.09.001
页码98-120