Author:
Riesco Adrian,Verdejo Alberto,Caballero Rafael,Martí-Oliet Narciso
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exploring conditional rewriting logic computations;Journal of Symbolic Computation;2015-07
2. Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way);Specification, Algebra, and Software;2014
3. Declarative debugging of rewriting logic specifications;The Journal of Logic and Algebraic Programming;2012-10
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