Atomic Cut Elimination for Classical Logic
From International Center for Computational Logic
Atomic Cut Elimination for Classical Logic
Kai BrünnlerKai Brünnler
![Atomic Cut Elimination for Classical Logic Atomic Cut Elimination for Classical Logic](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Kai Brünnler
Atomic Cut Elimination for Classical Logic
In M. Baaz and J.A. Makowsky, eds., CSL 2003, volume 2803 of Lecture Notes in Computer Science, 86-97, 2003. Springer
Atomic Cut Elimination for Classical Logic
In M. Baaz and J.A. Makowsky, eds., CSL 2003, volume 2803 of Lecture Notes in Computer Science, 86-97, 2003. Springer
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{B2003,
author = {Kai Br{\"{u}}nnler},
title = {Atomic Cut Elimination for Classical Logic},
editor = {M. Baaz and {J.A.} Makowsky},
booktitle = {CSL 2003},
series = {Lecture Notes in Computer Science},
volume = {2803},
publisher = {Springer},
year = {2003},
pages = {86-97}
}