证明概率项重写的几乎必然内部终止性：使用依赖对
摘要：基于概率的TRS的确定性对一种最强大的技术是依赖对,也是自动化分析术语只写系统（TRSs）的终结的。我们调整了依赖对框架去证明基于概率的TRSs的几乎确定性内部终结。为了评估其能力，我们在我们的工具AProVE中实现了这个新框架。
作者：Jan-Christoph Kassing, J"urgen Giesl
论文ID：2305.11741
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-06