Browsing by Author

Showing results 1 to 2 of 2
PreviewAuthors / EditorsTitleTypeIssue Date
Spoerk Christoph Wolfgang - 2015 - Algorithms for quantified cut-introduction.pdf.jpgSpörk, Christoph Wolfgang Algorithms for quantified cut-introductionThesis Hochschulschrift 2015
Machado Nogueira Reis Giselle - 2014 - Cut-elimination by resolution in...pdf.jpgMachado Nogueira Reis, Giselle Cut-elimination by resolution in intuitionistic logicThesis Hochschulschrift 2014