Author:
Ben Cherifa Ahlem,Lescanne Pierre
Reference26 articles.
1. Termination orderings for associative-commutative rewriting systems;Bachmair;J. Symbolic Comput.,1985
2. Rewriting systems on FP expressions to reduce the number of sequences yielded;Bellegarde;Sci. Comput. Programming,1986
3. Transformation ordering;Bellgarde;Proc. CAAP '87,1987
4. Preuves de terminaison de systèmes de réécriture: un outil fondé sur les interprétations polynomiales;Ben Cherifa,1986
5. Decision procedures for real and p-adic fields;Cohen;Comm. Pure Appl. Math.,1969
Cited by
114 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Analyzing Innermost Runtime Complexity Through Tuple Interpretations;Electronic Proceedings in Theoretical Computer Science;2023-03-23
2. Size-based termination of higher-order rewriting;Journal of Functional Programming;2018
3. AC-KBO revisited;Theory and Practice of Logic Programming;2015-06-08
4. A Complete Superposition Calculus for Primal Grammars;Journal of Automated Reasoning;2014-09-19
5. Certification of Nontermination Proofs;Interactive Theorem Proving;2012