Author:
Sakai Masahiko,Oyamaguchi Michio,Ogawa Mizuhito
Publisher
Springer International Publishing
Reference22 articles.
1. Comon, H., Haberstrau, M., Jouannaud, J.-P.: Syntacticness, cycle-syntacticness, and shallow theories. Inf. Comput. 111, 154–191 (1994)
2. Lecture Notes in Computer Science;G Godoy,2005
3. Gomi, H., Oyamaguchi, M., Ohta, Y.: On the church-rosser property of root-E-overlapping and strongly depth-preserving term rewriting systems. IPS J 39(4), 992–1005 (1998)
4. Lecture Notes in Computer Science;B Gramlich,1996
5. Hirokawa, N., Middeldorp, A.: Decreasing diagrams and relative termination. J. Autom. Reason. 47(4), 481–501 (2011)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Conditions for confluence of innermost terminating term rewriting systems;Applicable Algebra in Engineering, Communication and Computing;2019-01-02
2. CSI: New Evidence – A Progress Report;Automated Deduction – CADE 26;2017