20th International Conference on Rewriting Techniques and Applications (RTA 2009)
Event name
20th International Conference on Rewriting Techniques and Applications (RTA 2009)
Event type
Event for scientific audience
Start date
29-06-2009
End date
02-07-2009
Location
Brasilia, Brazil
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Schernhammer, Felix ; Gramlich, Bernhard ; Treinen, Ralf | VMTL–A Modular Termination Laboratory | Konferenzbeitrag Inproceedings  | 2009 |