TY - GEN
T1 - Nominal confluence tool
AU - Aoto, Takahito
AU - Kikuchi, Kentaro
N1 - Funding Information:
This work is partially supported by JSPS KAKENHI (Nos. 15K00003, 16K00091).
Publisher Copyright:
© Springer International Publishing Switzerland 2016.
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
KW - Automation
KW - Confluence
KW - Higher-order rewriting
KW - Nominal rewriting
KW - Variable binding
UR - http://www.scopus.com/inward/record.url?scp=84976620613&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84976620613&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-40229-1_12
DO - 10.1007/978-3-319-40229-1_12
M3 - Conference contribution
AN - SCOPUS:84976620613
SN - 9783319402284
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 173
EP - 182
BT - Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings
A2 - Olivetti, Nicola
A2 - Tiwari, Ashish
PB - Springer Verlag
T2 - 8th International Joint Conference on Automated Reasoning, IJCAR 2016
Y2 - 27 June 2016 through 2 July 2016
ER -