Efficient implementation of term rewriting system on a distributed memory architecture

被引:0
作者
Hachisu, Yoshinari [1 ]
Yamamoto, Shinichirou [1 ]
Hamaguchi, Takeshi [1 ]
Agusa, Kiyoshi [1 ]
机构
[1] Nagoya Univ, Nagoya-shi, Japan
关键词
D O I
暂无
中图分类号
学科分类号
摘要
11
引用
收藏
相关论文
empty
未找到相关数据