Scifaro

中文

拟递减强确定性条件 TRSs 合流性的形式化

计算机科学中的逻辑 2016-09-13 v1

作者: Thomas Sternagel , Christian Sternagel

在 arXiv 上查看 ↗ PDF ↗

摘要

我们提出了关于拟归约强确定性条件项重写系统合流性刻画的一个 Isabelle/HOL 形式化，该刻画由 Avenhaus 和 Loría-Sáenz 给出。

关键词

合流性条件项重写系统拟递减性 Isabelle/HOL 形式化

引用

@article{arxiv.1609.03341,
  title  = {Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSs},
  author = {Thomas Sternagel and Christian Sternagel},
  journal= {arXiv preprint arXiv:1609.03341},
  year   = {2016}
}

备注

IWC 2016