·2,447,543篇论文数据，部分数据来源于NoteExpress
本文着重研究重写系统的合流性，通过引入符号测度的概念，本文定义了半正则重写系统，并证明了半正则重写系统的合流性。
In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.
youdao
应用推荐
模块上移
模块下移
不移动