Proceedings of the LPAR 2008 Workshops
Book title Buchtitel
Proceedings of the LPAR 2008 Workshops
Editor Herausgeber_in
Publisher Herausgeber
CEUR-WS.org
Place of publishing Erscheinungsort
Vol 418
Series Schriftenreihe
CEUR Workshop Proceedings
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 |