Modular aspects of term graph rewriting

被引：0

作者：

Max-Planck-Inst. für Informatik, Im Stadtwald, 66123 Saarbrücken, Germany ^{[1
]}

不详 ^{[2
]}

不详 ^{[3
]}

机构：

来源：

Theor Comput Sci | / 1-2卷 / 59-86期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用