Name Card

Full name Familienname, Vorname
Chaudhuri, Kaustuv
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale A multi-focused proof system isomorphic to expansion proofArtikel Article 2016
2Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale A systematic approach to canonicity in the classical sequent calculusKonferenzbeitrag Inproceedings 2012