Phdthesis3005

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Deep Inference and Symmetry in Classical Proofs

Kai BrünnlerKai Brünnler

Kai Brünnler
Deep Inference and Symmetry in Classical Proofs
Phd thesis, Dresden University of Technology, 2003

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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