IWS

201020102010

Keyphrases

Publications

2010

Bernhard Gramlich, Felix Schernhammer
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns IWS (2010)
René Thiemann, Christian Sternagel, Jürgen Giesl, Peter Schneider-Kamp
Loops under Strategies ... Continued IWS (2010)
Maribel Fernández, Olivier Namet
Strategic programming on graph rewriting systems IWS (2010)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
Properties of Exercise Strategies IWS (2010)

volume 44, 2010

Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, IWS 2010, Edinburgh, UK, 9th July 2010. IWS 44 (2010)