%0 Journal Article
%T Partial Completion of Equational Theories
%A SUN Yongqiang
%A LIN Kai
%A Lu Chaojun
%A <br>孙永强
%A 林凯
%A 陆朝俊
%J 计算机科学技术学报
%D 2000
%I 
%K term rewriting system
%K completion of equational theorys partial completion<br>计算机数学
%K 方程式理论
%K 计算模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=DAEF7C402F80035187E36E401F447D39&yid=9806D0D4EAA9BED3&vid=23CCDDCD68FFCC2F&iid=B31275AF3241DB2D&sid=2B25C5E62F83A049&eid=2B25C5E62F83A049&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=27