Name Card

Full name Familienname, Vorname
Richter, Clemens
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik CERES: An analysis of Fürstenberg's proof of the infinity of primesArtikel Article2008
2Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik System Description: The Cut-Elimination System CERESKonferenzbeitrag Inproceedings2006
3Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik Proof transformation by CERESArtikel Article2006
4Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik Proof Transformation by CERESKonferenzbeitrag Inproceedings 2006
5Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik Cut-Elimination: Experiments with CERESPräsentation Presentation2005
6Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik Cut-Elimination: Experiments with CERESKonferenzbeitrag Inproceedings2005
7Richter, Clemens Diagonalization and self-application : applications in logic and computer scienceThesis Hochschulschrift2003