| Original language | English |
|---|---|
| Title of host publication | Pre-Proceedings 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010) |
| Editors | Helene Kirchner, Cesar Munoz |
| Pages | 39-44 |
| Number of pages | 6 |
| Publication status | Published - 2010 |
Graph Programs
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution