Term-rewriting systems with rule priorities

被引：0
|
作者：
机构：
[1] Baeten, J.C.M.
[2] Bergstra, J.A.
[3] Klop, J.W.
[4] Weijland, W.P.
来源：
Baeten, J.C.M. | 1600年 / 67期
关键词：
Computer Metatheory;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2 / 3
相关论文
共 50 条
12345