Clemens Richter

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

Coauthor Index

1	Matthias Baaz	[1] [2] [3]
2	Stefan Hetzl	[1] [2] [3]
3	Alexander Leitsch	[1] [2] [3]
4	Hendrik Spohr	[1] [2] [3]