| |
| 2008 | ||
|---|---|---|
| 3 | EE | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr: CERES: An analysis of Fürstenberg's proof of the infinity of primes. Theor. Comput. Sci. 403(2-3): 160-175 (2008) |
| 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] [3] |
| 2 | Stefan Hetzl | [1] [2] [3] |
| 3 | Alexander Leitsch | [1] [2] [3] |
| 4 | Hendrik Spohr | [1] [2] [3] |