Author:
Gramlich Bernhard,Lucas Salvador
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Baader, F., Nipkow, T.: Term rewriting and All That. Cambridge Univ. Press, Cambridge (1998)
2. Bezem, M., Klop, J.W., de Vrijer, R. (eds.): Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science 55. Cambridge Univ. Press, Cambridge (2003)
3. Lecture Notes in Artificial Intelligence;C. Borralleras,2002
4. Dershowitz, N., Kaplan, S., Plaisted, D.A.: Rewrite, rewrite, rewrite, rewrite, rewrite,.. Theoretical Computer Science 83(1), 71–96 (1991)
5. Giesl, J., Middeldorp, A.: Transformation techniques for context-sensitive rewrite systems. Journal of Functional Programming 14(4), 379–427 (2004)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Confluence Framework: Proving Confluence with CONFident;Logic-Based Program Synthesis and Transformation;2022
2. Context-sensitive Rewriting;ACM Computing Surveys;2021-07-31
3. Decreasing Diagrams and Relative Termination;Journal of Automated Reasoning;2011-09-13
4. Decreasing Diagrams and Relative Termination;Automated Reasoning;2010
5. Confluence by Decreasing Diagrams;Rewriting Techniques and Applications;2008