帕特里克·维里 序贯微积分模方程的冒险。 （英语） Zbl 0917.68100号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国Mousson桥的圣母院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第24号电子文件（1998年）。 摘要：我们应用面向重写理论的概念和相关的相干技术来构建模方程定理证明的框架。这是通过使用现有的重写技术和几个简单的引理实现的，旨在作为使用面向重写理论实现内建等式的案例研究。关于整个系列，请参见[Zbl 0903.00070号]. 引用于三文件 MSC公司： 2012年第68季度 语法和重写系统 关键词：面向重写理论;相干技术 PDF格式BibTeX公司 XML格式引用 \textit{P.Viry}，in：I第二届重写逻辑及其应用国际研讨会，RWLW。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第24号电子文件（1998；Zbl 0917.68100） 全文： 链接