Ground Canonicity
计算机科学中的逻辑
2007-05-23 v1
摘要
We explore how different proof orderings induce different notions of saturation. We relate completion, paramodulation, saturation, redundancy elimination, and rewrite system reduction to proof orderings.
引用
@article{arxiv.cs/0304017,
title = {Ground Canonicity},
author = {Nachum Dershowitz},
journal= {arXiv preprint arXiv:cs/0304017},
year = {2007}
}