Author:
Kirchner Hélène,Ringeissen Christophe
Subject
Computational Mathematics,Algebra and Number Theory
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generalized rewrite theories, coherence completion, and symbolic methods;Journal of Logical and Algebraic Methods in Programming;2020-01
2. Rewriting modulo SMT and open system analysis;Journal of Logical and Algebraic Methods in Programming;2017-01
3. Rewriting Modulo SMT and Open System Analysis;Rewriting Logic and Its Applications;2014
4. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10
5. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10