完备化算法相关论文
随着信息技术的不断发展和自动化水平的不断提高,许多领域都出现了拥有海量数据的信息系统.这些数据信息系统中通常隐藏着大量对决......
1.引言项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、......