[Bec2002f] Resolution refutations and propositional proofs with height-restriction
| beckmann:csl02 (In proceedings)
|
| Author(s) | Beckmann A. |
| Title | "Resolution refutations and propositional proofs with height-restriction" |
| Date | 2002 |
| In | Proccedings of the 16th International Workshop, CSL 2002 (Edinburgh) |
| Editor(s) | Bradfield J. |
| Series | Lecture Notes in Computer Science |
| Page(s) | 599--612 |
| Publisher | Springer-Verlag |
@inproceedings{beckmann:csl02,
title = {Resolution refutations and propositional proofs with height-restriction},
year = {2002},
booktitle = {Proccedings of the 16th International Workshop, CSL 2002 (Edinburgh)},
editor = {Bradfield, Julian},
pages = {599--612},
publisher = {Springer-Verlag},
address = {Berlin},
author = {Beckmann, Arnold},
series = {Lecture Notes in Computer Science},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)