Author:
Jouannaud Jean-Pierre,Kirchner Helene
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Confluence of algebraic rewriting systems;Mathematical Structures in Computer Science;2021-12-10
2. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus;Electronic Proceedings in Theoretical Computer Science;2012-07-30
3. Adventures in sequent calculus modulo equations;Electronic Notes in Theoretical Computer Science;1998
4. An introduction to category-based equational logic;Algebraic Methodology and Software Technology;1995
5. Proving and rewriting;Algebraic and Logic Programming;1990