Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (2011)
Event name
Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (2011)
Event type
Event for scientific audience
Start date
02-06-2011
Location
Novi Sad, Serbia
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gramlich, Bernhard | On (Un)Soundness of Unraveling Deterministic Conditional Rewrite Systems | Präsentation Presentation | 2011 |