...term graph rewriting, termination, confluence, term rewriting, narrowing Classification: 68Q05, 68Q4[gap=294]关键词：长期图重写，终止，融合，项重写，缩小分类：68Q05，68Q40，68Q42（AMS 91年）; D.1.1，F.1.1，F.4.2，I.1.1（CR 98）注：这文件将..
基于1个网页-相关网页
-
项图重写
- 引用次数：1
参考来源 - 项重写的图实现 in C
·2,447,543篇论文数据，部分数据来源于NoteExpress