Author:
Mitsuhashi Ichiro,Oyamaguchi Michio,Ohta Yoshikatsu,Yamada Toshiyuki
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
2. Comon, H., Haberstrau, M., Jouannaud, J.-P.: Syntacticness, cycle-syntacticness and shallow theories. Information and Computation 111(1), 154–191 (1994)
3. Gomi, H., Oyamaguchi, M., Ohta, Y.: On the Church-Rosser property of root- E-overlapping and strongly depth-preserving term rewriting systems. Transactions of Information Processing Society of Japan 39(4), 992–1005 (1998)
4. Lecture Notes in Computer Science;J.-M. Hullot,1980
5. Lecture Notes in Computer Science;F. Jacquemard,1998
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Removing redundant arguments automatically;Theory and Practice of Logic Programming;2007-01
2. Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems;Lecture Notes in Computer Science;2006
3. Primitive Rewriting;Processes, Terms and Cycles: Steps on the Road to Infinity;2005