带共归纳循环检测的结构化归结
计算机科学中的逻辑
2017-09-15 v4
摘要
本文发现并提出了一种将共SLD式循环检测与结构化归结相结合的方法，从而将结构化归结扩展至共归纳。具体而言，我们给出了这种新颖组合的操作语义，称为共归纳结构化归结，并证明了其相对于最大完全Herbrand模型的可靠性。
引用
@article{arxiv.1703.08336,
title = {Structural Resolution with Co-inductive Loop Detection},
author = {Yue Li},
journal= {arXiv preprint arXiv:1703.08336},
year = {2017}
}
备注
In Proceedings CoALP-Ty'16, arXiv:1709.04199