模板依赖集的闭包计算与求最小覆盖集的算法

摘要

本文详细研究了模板依赖的公理系统,完成了有效性和完备性证明,提出了模板依赖集的闭包计算、求最小覆盖集的算法。