未找到相关数据
Confluence of terminating membership-conditional term rewriting systems
被引：0
作者：
Yamada, Junnosuke
[1
]
机构：
[1] NTT Communications Science, Laboratories, Kyoto, Japan
来源：
Systems and Computers in Japan
|
1993年
/
24卷
/
12期
关键词：
30;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 11
相关论文