Clemens Richter

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

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) (2008)
Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr
Proof Transformation by CERES. MKM (2006)
Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr
Cut-Elimination: Experiments with CERES. LPAR (2004)