...等价性等)有大量的研究，学术界提出了很多有效的算法及模型来验证，其中冯速等设计开发了TRS元计算模型——动态项重写计算(DTRC)，它具有层次化结构和动态重写等特征，可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面。
基于22个网页-相关网页
应用推荐
模块上移
模块下移
不移动