重写策略相关论文
本文介绍了项重写系统(TRSs)形式简洁且计算能力强，在计算科学里是一种受到广泛研究和应用的形式计算模型。对于项重写系统本身的性......
本文介绍了项重写系统研究的最新课题和动态项重写计算的基本理论，着重阐述了新的项重写系统等价性证明的归纳证明理论及最新研究进......
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重......
