Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Doktor rerum naturalium vorgelegt an der Technischen Universit¨ - Deep inference - Document - PDFSEARCH.IO

First Page	Meta Content
	Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Doktor rerum naturalium vorgelegt an der Technischen Universit¨ Add to Reading List Document Date: 2014-09-12 07:12:40 Open Document File Size: 636,30 KB Share Result on Facebook

Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Doktor rerum naturalium vorgelegt an der Technischen Universit¨Add to Reading List