17th International Conference on Rewriting Techniques and Applications (RTA 2006)
Event name
17th International Conference on Rewriting Techniques and Applications (RTA 2006)
Start date
12-08-2006
End date
14-08-2006
Location
Seattle, USA
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 ; Lucas, Salvador ; Pfenning, Frank | Generalizing Newman's Lemma for Left-Linear Rewrite Systems | Konferenzbeitrag Inproceedings  | 2006 |