Browsing by Author Baaz, Matthias

Showing results 1 to 6 of 6
PreviewAuthors / EditorsTitleTypeIssue Date
Lettmann Michael Peter - 2018 - Algorithmic introduction of 2-cuts.pdf.jpgLettmann, Michael Peter Algorithmic introduction of π2-cutsThesis Hochschulschrift 2018
Zobel Sarah - 2009 - Choice sequences past and future.pdf.jpgZobel, Sarah Choice sequences : past and futureThesis Hochschulschrift 2009
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
Fasching Oliver - 2011 - Operator extensions of Goedel logics.pdf.jpgFasching, Oliver Operator extensions of Gödel logicsThesis Hochschulschrift 2011
Richter Clemens - 2006 - Proof transformations by resolution computational...pdf.jpgRichter, Clemens Proof transformations by resolution : computational methods of cut-eliminationThesis Hochschulschrift 2006
Aguilera Juan P - 2017 - Ten problems in Goedel logic.pdf.jpgAguilera, Juan P. ; Baaz, MatthiasTen problems in Gödel logicArticle Artikel 2017