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
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}
}
