Seminari del Dipartimento di Informatica, Università degli Studi di Verona
Event name
Seminari del Dipartimento di Informatica, Università degli Studi di Verona
Event type
Event for scientific audience
Start date
11-04-2006
Location
Verona, Italy
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 | Automatically Proving Confluence of Non-Terminating Rewrite Systems via a Generalized Newman-Style Approach | Präsentation Presentation | 2006 |