Deep Inference and Symmetry in Classical Proofs

From International Center for Computational Logic
Toggle side column

Deep Inference and Symmetry in Classical Proofs

Kai BrünnlerKai Brünnler
Deep Inference and Symmetry in Classical Proofs


Kai Brünnler
Deep Inference and Symmetry in Classical Proofs
Phd thesis, Dresden University of Technology, 2003
@phdthesis{B2003,
  author = {Kai Br{\"{u}}nnler},
  title  = {Deep Inference and Symmetry in Classical Proofs},
  school = {Dresden University of Technology},
  year   = {2003}
}