[BLM1999] System Description: CutRes 0.1: Cut Elimination by Resolution
| BLM99CADE (In proceedings)
|
| Author(s) | Baaz M., Leitsch A. and Moser G. |
| Title | "System Description: CutRes 0.1: Cut Elimination by Resolution" |
| Date | 1999 |
| In | 16th Int. Conf. on Automated Deduction (CADE'99) |
| Series | LNCS (LNAI) 1632 |
| Page(s) | 212--216 |
| Publisher | Springer |
@inproceedings{BLM99CADE,
publisher = {Springer},
title = {System Description: {\texttt{CutRes 0.1}}: Cut Elimination by Resolution},
author = {Baaz, M. and Leitsch, A. and Moser, G.},
booktitle = {16th Int. Conf. on Automated Deduction (CADE'99)},
year = {1999},
pages = {212--216},
series = {LNCS (LNAI) 1632},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)