Deep Inference and Symmetry in Classical Proofs
Aus International Center for Computational Logic
Deep Inference and Symmetry in Classical Proofs
Kai BrünnlerKai Brünnler
![Deep Inference and Symmetry in Classical Proofs Deep Inference and Symmetry in Classical Proofs](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Kai Brünnler
Deep Inference and Symmetry in Classical Proofs
Phd thesis, Dresden University of Technology, 2003
Deep Inference and Symmetry in Classical Proofs
Phd thesis, Dresden University of Technology, 2003
- 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}
}