Browsing by Author Woltzenlogel Paleo, Bruno

Showing results 1 to 2 of 2
PreviewAuthors / EditorsTitleTypeIssue Date
Woltzenlogel Paleo Bruno - 2009 - A general analysis of cut-elimination by CERes.pdf.jpgWoltzenlogel Paleo, BrunoA general analysis of cut-elimination by CEResThesis Hochschulschrift 2009
Woltzenlogel Paleo Bruno - 2007 - Herbrand sequent extraction.pdf.jpgWoltzenlogel Paleo, BrunoHerbrand sequent extractionThesis Hochschulschrift 2007