Name Card

Full name Familienname, Vorname
Miller, Dale
 

Own Publications Eigene Publikationen


Results 1-3 of 3 (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
2Adelsberger, Stephan ; Hetzl, Stefan ; Miller, Dale The Cayley-Hamilton TheoremArtikel Article2014
3Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale A systematic approach to canonicity in the classical sequent calculusKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen


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

PreviewEditor(s)TitleTypeIssue Date
1Gramlich, Bernhard ; Miller, Dale ; Sattler, Uli Automated ReasoningKonferenzband Proceedings2012