IWS2010 Accepted Papers

Refinement of Chemical Programs using Strategies
A strategy language for graph rewriting systems
Termination of Rewriting with - and Automated Synthesis of - Forbidden Patterns
Closed cut-elimination in linear logic
Properties of Exercise Strategies
Graph Programs