半正则重写系统及其合流性
SEMIREGULAR TERM REWRITING SYSTEM AND ITS CONFLUENCE作者机构：上海交通大学计算机系上海200030
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：1992年第3卷第4期
页 面：1-11页
核心收录：
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。
维普期刊数据库
同方期刊数据库