论TRS的交汇性

摘要：

@@1导论
一个字重写系统[TRS)是一个序对(∑，R)，其中∑是一个字母表，9i为一集归约(重写)规则。

机标关键词：重写系统、字母表、规则、归约、导论

所属期刊栏目：16

分类号：B81(逻辑学(论理学))

在线出版日期：2006-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：10-13