CoCo 2018 Participant : CSÎ ho 0 . 3 . 2 ∗
CoCo 2018 Participant : CSÎ ho 0 . 3 . 2 ∗
复制标题
CoCo 2018 参与者：CSÎ ho 3 .
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Julian Nagele
中科院分区：
文献类型：
--
作者：
Julian Nagele
CSSlogho是一种用于自动证明高阶重写系统的融合的工具，特别是由Nipkow [3，7]引入的模式重写系统（PRS）。CSSHHO专注于模式，以确保计算关键对的统一的可判定性。为此，CSShoho实现了Nipkow算法的一个版本，用于高阶模式统一[8]。CSSlogho是CSI的扩展，CSI是一个强大的一阶项重写系统的汇流证明器。该工具和Web界面位于
CSÎ ho is a tool for automatically proving confluence of higher-order rewrite systems, specifically pattern rewrite systems (PRSs) as introduced by Nipkow [3, 7]. CSÎ ho focuses on patterns in order to ensure decidability of unification for computing critical pairs. To this end CSÎ ho implements a version of Nipkow’s algorithm for higher-order pattern unification [8]. CSÎ ho is an extension of CSI, a powerful confluence prover for first-order term rewrite systems. The tool and a web interface are available at
DOI：
--
发表时间：
2004
期刊：
Proceedings of the 2nd International Workshop on HOR
影响因子：
--
作者：
M.Mishima;HARA Mizuho;T.Aoto
通讯作者：
T.Aoto