版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
Well-Founded Orderings for Proving Termination of Systems of Rewrite Rules
出 版 社：Urbana : Dept. of Computer Science University of Illinois at Urbana-Champaign
出 版 年：2017年
主 题 词：computer programs orderings proving recursive programming rewrite rules systems
摘 要：Well-Founded Orderings for Proving Termination of Systems of Rewrite Rules by Plaisted, David A; published by Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign
