%0 Journal Article
%T SEMIREGULAR TERM REWRITING SYSTEM AND ITS CONFLUENCE<br>半正则重写系统及其合流性
%A Lin Kai
%A Sun Yongqiang
%A <br>林凯
%A 孙永强
%J 软件学报
%D 1992
%I 
%X In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.
%K 半正则
%K 重写系统
%K 合流性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=0F16553A0810700CBF91AFB204B4DBF9&yid=F53A2717BDB04D52&vid=38B194292C032A66&iid=E158A972A605785F&sid=CA4FD0336C81A37A&eid=708DD6B15D2464E8&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=6