Prelim. Proc. 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010)
Book title Buchtitel
Prelim. Proc. 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010)
Editor Herausgeber_in
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gramlich, Bernhard ; Schernhammer, Felix ; Kirchner, Helene ; Munoz, Cesar | Termination of Rewriting with and Automated Synthesis of Forbidden Patterns | Konferenzbeitrag Inproceedings | 2010 |