拟递减性的一种刻画
计算机科学中的逻辑
2016-09-13 v1
摘要
2010 年，Schernhammer 和 Gramlich 证明了 DCTRS R 的拟递减性等价于其上下文敏感解卷 Ucs(R) 在原始项上的 -终止性。虽然由 R 的拟递减性推导出 Ucs(R) 在原始项上的 -终止性是直接证明的；但其逆命题——促进了 MU-TERM 和 VMTL 等上下文敏感终止工具的使用——则采用了 R 的上下文敏感拟归约性这一额外概念。在下文中，我们直接证明 Ucs(R) 在原始项上的 -终止性蕴含 R 的拟递减性这一事实。此外，我们报告了对合流问题数据库（Cops）中 DCTRSs 的实验结果，扩展了 Schernhammer 和 Gramlich 的实验。
引用
@article{arxiv.1609.03345,
title = {A Characterization of Quasi-Decreasingness},
author = {Thomas Sternagel and Christian Sternagel},
journal= {arXiv preprint arXiv:1609.03345},
year = {2016}
}
备注
WST 2016