2 citations · 2 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2010
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming
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…
cs.LO2005★ 2 cited
Termination of rewriting strategies: a generic approach
Isabelle Gnaedig, Helene Kirchner
We propose a generic termination proof method for rewriting under strategies, based on an explicit induction on the termination property. Rewriting trees on ground terms are modele…