Name Card

Full name Familienname, Vorname
Cegielski, Patrick
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Reis, Giselle ; Woltzenlogel-Paleo, Bruno Towards CERes in intuitionistic logicKonferenzbeitrag Inproceedings2012
2Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale A systematic approach to canonicity in the classical sequent calculusKonferenzbeitrag Inproceedings 2012
3Hetzl, Stefan ; Straßburger, Lutz Herbrand-confluence for cut elimination in classical first order logicKonferenzbeitrag Inproceedings 2012