19th International Workshop on Algebraic Development Techniques (WADT 2008)
Event name
19th International Workshop on Algebraic Development Techniques (WADT 2008)
Start date
13-06-2008
End date
16-06-2008
Location
Pisa, Italy
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gmeiner, Karl ; Gramlich, Bernhard | Transformations of Conditional Rewrite Systems Revisited | Konferenzbeitrag Inproceedings  | 2008 | |
| 2 | Gmeiner, Karl ; Gramlich, Bernhard ; Corradini, Andrea ; Montanari, Ugo | Transformations of Conditional Rewrite Systems Revisited | Konferenzbeitrag Inproceedings | 2009 |