Author:
Shintani Kiraku,Hirokawa Nao
Publisher
Springer International Publishing
Reference21 articles.
1. Hindley, J.R.: The Church-Rosser Property and a Result in Combinatory Logic. Ph.D. thesis, University of Newcastle-upon-Tyne (1964)
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
3. Jouannaud, J.P., Kirchner, H.: Completion of a set of rules modulo a set of equations. SIAM J. Comput. 15(4), 1155–1194 (1986)
4. Rubio, A.: A fully syntactic AC-RPO. Inf. Comput. 178(2), 515–533 (2002)
5. Plotkin, G.: Building in equational theories. Mach. Intell. 7, 73–90 (1972)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Confluence Criteria;Logical Methods in Computer Science;2024-01-23
2. First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification;Journal of Automated Reasoning;2023-04-06
3. CoCo 2019: report on the eighth confluence competition;International Journal on Software Tools for Technology Transfer;2021-05-28
4. Certifying Proofs in the First-Order Theory of Rewriting;Tools and Algorithms for the Construction and Analysis of Systems;2021
5. Confluence Competition 2019;Tools and Algorithms for the Construction and Analysis of Systems;2019