Author:
Liu Jiaxiang,Dershowitz Nachum,Jouannaud Jean-Pierre
Publisher
Springer International Publishing
Reference13 articles.
1. Felgenhauer, B.: Rule labeling for confluence of left-linear term rewrite systems. In: IWC, pp. 23–27 (2013)
2. Hirokawa, N., Middeldorp, A.: Decreasing diagrams and relative termination. J. Autom. Reasoning 47, 481–501 (2011)
3. Huet, G.P.: Confluent reductions: Abstract properties and applications to term rewriting systems: Abstract properties and applications to term rewriting systems. J. ACM 27, 797–821 (1980)
4. Jouannaud, J.P., Toyama, Y.: Modular Church-Rosser modulo: The complete picture. Int. J. Software and Informatics 2, 61–75 (2008)
5. Lecture Notes in Computer Science;J.P. Jouannaud,2009
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献