Nominal Confluence Tool

Nominal Confluence Tool
复制标题

标称汇流工具

DOI：
10.1007/978-3-319-40229-1_12
复制
发表时间：
2016
期刊：
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)
影响因子：
--
通讯作者：
Takahito Aoto and Kentaro Kikuchi
Takahito Aoto and Kentaro Kikuchi
中科院分区：
--
文献类型：
--
作者：
Kentaro Kikuchi;Takahito Aoto and Yoshihito Toyama;Kentaro Kikuchi;Takahito Aoto and Kentaro Kikuchi

文献摘要

相似文献

名词性重写是一个高阶重写的框架（Fernández，Gabbay & Mackie，2004; Fernández & Gabbay，2007）。最近，（铃木等人，2015年）根据可行性重新审视了名义重写的汇合。我们报告了一个用于（非封闭）名义重写的汇合工具的实现，该工具基于（Suzuki et al.，2015年）及后续研究。
Nominal rewriting is a framework of higher-order rewriting introduced in (Fernández, Gabbay & Mackie, 2004; Fernández & Gabbay, 2007). Recently, (Suzuki et al., 2015) revisited confluence of nominal rewriting in the light of feasibility. We report on an implementation of a confluence tool for (non-closed) nominal rewriting, based on (Suzuki et al., 2015) and succeeding studies.