37 citations · 79 across the 7 of their papers we have counts for
1 paper · 2 filters
Hélène Kirchner, César Muñoz
This volume contains selected papers from the proceedings of the First International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), which was held on Jul…