WRS 2013
- 11th International Workshop on Reduction Strategies in Rewriting and Programming
Eindhoven, The Netherlands, June 27, 2013
(part of RDP'13, the 7th
International Conference on Rewriting, Deduction, and Programming) [PC member]