%0 Journal Article
%T THE COMPRESSED PATH ORDERING AND THE STRUCTURE MEASURE OF TERM REWRITING SYSTEM<br>压缩路径序与重写系统的结构测度
%A Lin Kai
%A Sun Yongqiang
%A Lu Ruzhan
%A <br>林凯
%A 孙永强
%A 陆汝占
%J 软件学报
%D 1993
%I 
%X The structure measure is very important to prove the confluence of term rewriting system. This paper discusses the effective definition approach of structure measure. For this,the notion of compressed path ordering is introduced. It is easy to show whether or not a compressed path ordering is the structure measure of given term rewriting system.
%K 压缩路径序
%K 重写系统
%K 结构测度
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=EDF0732D4233D404AD2DAA3AA55730CE&yid=D418FDC97F7C2EBA&vid=E158A972A605785F&iid=0B39A22176CE99FB&sid=DB817633AA4F79B9&eid=27746BCEEE58E9DC&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=8