%0 Journal Article
%T An Inductive Proving Method for Weakly Ground Termination of Term Rewriting Systems<br>项重写系统弱基终止性的归纳证明
%A 冯速
%J 计算机科学
%D 2001
%I 
%X 1.引言项重写系统是一种受到广泛研究和应用的形式计算模型。一个项重写系统由一组称为重写规则的定向等式组成。例如,下面的R是一个由五个重写规则组成的、定义用({0,s})表示的自然数集N上的两倍函数d(x)=2×n:N→N的项重写系统:
%K 项重写系统
%K 弱基终止性
%K 归纳证明
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=175D7FA26AD6735C&yid=14E7EF987E4155E6&vid=D3E34374A0D77D7F&iid=DF92D298D3FF1E6E&sid=03F1579EF92A5A32&eid=6270DC1B5693DDAF&journal_id=1002-137X&journal_name=计算机科学&referenced_num=3&reference_num=3