高级检索

    宋国新, 邵志清. 重写系统中的显式归纳方法[J]. 华东理工大学学报(自然科学版), 1996, (1): 68-72.
    引用本文: 宋国新, 邵志清. 重写系统中的显式归纳方法[J]. 华东理工大学学报(自然科学版), 1996, (1): 68-72.
    Explicit Induction in Rewriting Systems[J]. Journal of East China University of Science and Technology, 1996, (1): 68-72.
    Citation: Explicit Induction in Rewriting Systems[J]. Journal of East China University of Science and Technology, 1996, (1): 68-72.

    重写系统中的显式归纳方法

    Explicit Induction in Rewriting Systems

    • 摘要: 提出了重写系统中的显式归纳方法,设计了一个新的归纳定理证明系统,实例表明,显式归纳方法要比无归纳的归纳方法来得简单直观。

       

      Abstract: In this paper,an explicit induction method in rewriting systems is proposed, and a new algorithm based on it is designed to prove inductive theorems of equational systems.Experimental results show that,compared with the inductionless induction approach,the new proof systems is simpler and possesses several more intuitive characters.

       

    /

    返回文章
    返回