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:  Proof Theory

Results 1-2 of 2 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lolic Anela - 2020 - Automated proof analysis by CERES.pdf.jpgLolić, Anela Automated proof analysis by CERESThesis Hochschulschrift 2020
2Woltzenlogel 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