[BL2001] Comparing the Complexity of Cut-Elimination Methods
| BL01PTCS (In proceedings)
|
| Author(s) | Baaz M. and Leitsch A. |
| Title | "Comparing the Complexity of Cut-Elimination Methods" |
| Date | 2001 |
| In | Proof Theory in Computer Science |
| Editor(s) | Kahle R., Schroeder-heister P. and Stärk R. |
| Number | 2183 |
| Series | LNCS |
| Page(s) | 49--67 |
| Publisher | Springer |
@inproceedings{BL01PTCS,
title = {Comparing the Complexity of Cut-Elimination Methods},
year = {2001},
booktitle = {Proof Theory in Computer Science},
editor = {R. Kahle, P. Schroeder-Heister, R. St{\"a}rk},
pages = {49--67},
number = {2183},
publisher = {Springer},
author = {Baaz, M. and Leitsch, A.},
series = {LNCS},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)