![]() |
| 2006 | ||
|---|---|---|
| 2 | EE | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr: Proof Transformation by CERES. MKM 2006: 82-93 |
| 2004 | ||
| 1 | EE | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr: Cut-Elimination: Experiments with CERES. LPAR 2004: 481-495 |
| 1 | Matthias Baaz | [1] [2] |
| 2 | Stefan Hetzl | [1] [2] |
| 3 | Alexander Leitsch | [1] [2] |
| 4 | Hendrik Spohr | [1] [2] |