形式自动证明相关论文
本文介绍了项重写系统研究的最新课题和动态项重写计算的基本理论，着重阐述了新的项重写系统等价性证明的归纳证明理论及最新研究进......
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重......
