Author:
Gnaedig Isabelle,Kirchner Hélène
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Optimizing Maude Programs via Program Specialization;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
2. A Proof Method for Local Sufficient Completeness of Term Rewriting Systems;Theoretical Aspects of Computing – ICTAC 2021;2021
3. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10
4. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10
5. Sufficient completeness verification for conditional and constrained TRS;Journal of Applied Logic;2012-03