The LPAR 2008 Workshops: KEAPPA and IWIL 2008
Event name
The LPAR 2008 Workshops: KEAPPA and IWIL 2008
Start date
22-11-2008
Location
Doha, Qatar
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Rudnicki, Piotr ; Sutcliffe, Geoff | Transforming and Analyzing Proofs in the CERES-system | Konferenzbeitrag Inproceedings  | 2008 |