The LPAR 2008 Workshops: KEAPPA and IWIL 2008

View Statistics Email Alert RSS Feed

Description

Event name
The LPAR 2008 Workshops: KEAPPA and IWIL 2008
 
Start date
22-11-2008
Location
Doha, Qatar
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno Transforming and Analyzing Proofs in the CERES-systemKonferenzbeitrag Inproceedings 2008