摘要：加权路径序是语义路径序的一种特殊实例。利用这个事实，我们引入了一种超越简单终止领域的加权路径序的概括。实验数据表明，广义加权路径序是可行的。
作者：Teppei Saito, Nao Hirokawa
论文ID：2307.13973
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-27
PDF 下载： 英文版 中文版pdf翻译中