Proceedings of the 21st International Conference on Rewriting Techniques and Applications
Book title Buchtitel
Proceedings of the 21st International Conference on Rewriting Techniques and Applications
Editor Herausgeber_in
Publisher Herausgeber
LIPIcs - Leibniz International Proceedings in Informatics / Dagstuhl Publishing
Place of publishing Erscheinungsort
Volume 6, Dagstuhl
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gmeiner, Karl ; Gramlich, Bernhard ; Schernhammer, Felix ; Lynch, Christopher | On (Un)Soundness of Unravelings | Konferenzbeitrag Inproceedings | 2010 |