Baaz, Matthias

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Baaz, Matthias
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  Beweistheorie

Results 1-4 of 4 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lolic Anela - 2020 - Automated proof analysis by CERES.pdf.jpgLolić, Anela Automated proof analysis by CERESThesis Hochschulschrift 2020
2Machado Nogueira Reis Giselle - 2014 - Cut-elimination by resolution in...pdf.jpgMachado Nogueira Reis, Giselle Cut-elimination by resolution in intuitionistic logicThesis Hochschulschrift 2014
3Woltzenlogel Paleo Bruno - 2009 - A general analysis of cut-elimination by CERes.pdf.jpgWoltzenlogel Paleo, Bruno A general analysis of cut-elimination by CEResThesis Hochschulschrift 2009
4Richter Clemens - 2006 - Proof transformations by resolution computational...pdf.jpgRichter, Clemens Proof transformations by resolution : computational methods of cut-eliminationThesis Hochschulschrift 2006