Author:
Aoto Takahito,Kikuchi Kentaro
Publisher
Springer International Publishing
Reference22 articles.
1. Confluence competition. http://coco.nue.riec.tohoku.ac.jp/
2. Lecture Notes in Computer Science;T Aoto,2009
3. Ayala-Rincón, M., Fernández, M., Gabbay, M.J., Rocha-Oliveira, A.C.: Checking overlaps of nominal rewrite rules. In: Pre-proceedings of the 10th LSFA, pp. 199–214 (2015)
4. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
5. Cheney, J.: Equivariant unification. J. Autom. Reasoning 45, 267–300 (2010)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables;Logic-Based Program Synthesis and Transformation;2021
2. Rewriting with generalized nominal unification;Mathematical Structures in Computer Science;2020-05-22
3. Nominal C-Unification;Logic-Based Program Synthesis and Transformation;2018
4. On Solving Nominal Fixpoint Equations;Frontiers of Combining Systems;2017
5. Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems;Frontiers of Combining Systems;2017