| |
| 2009 | ||
|---|---|---|
| 3 | EE | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo: A Clausal Approach to Proof Analysis in Second-Order Logic. LFCS 2009: 214-229 |
| 2008 | ||
| 2 | EE | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo: Herbrand Sequent Extraction. AISC/MKM/Calculemus 2008: 462-477 |
| 1 | EE | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo: Transforming and Analyzing Proofs in the CERES-System. LPAR Workshops 2008 |
| 1 | Stefan Hetzl | [1] [2] [3] |
| 2 | Alexander Leitsch | [1] [2] [3] |
| 3 | Bruno Woltzenlogel Paleo | [1] [2] [3] |