Hendrik Spohr

According to our database, Hendrik Spohr authored at least 3 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

CERES: An analysis of Fürstenberg's proof of the infinity of primes.

Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr

Theor. Comput. Sci., 2008

2006

Proof Transformation by CERES.

Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

2004

Cut-Elimination: Experiments with CERES.

Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr

Proceedings of the Logic for Programming, 2004