[BFL1994] A Non-elementary Speed-Up in Proof Length by Structural Clause Form Transforamation
| BaazFermLeit94LICS (In proceedings)
|
| Author(s) | Baaz M., Fermüller C. G. and Leitsch A. |
| Title | "A Non-elementary Speed-Up in Proof Length by Structural Clause Form Transforamation" |
| Date | 1994 |
| In | Proc. 9th Annual IEEE Symposium on Logic in Computer Science, LICS`94 |
| Page(s) | 213--219 |
| Publisher | IEEE Computer Society Press |
@inproceedings{BaazFermLeit94LICS,
publisher = {IEEE Computer Society Press},
title = {A Non-elementary Speed-Up in Proof Length by Structural Clause Form Transforamation},
author = {Baaz, M. and Fermüller, C. G. and Leitsch, A.},
year = {1994},
booktitle = {Proc. 9th Annual IEEE Symposium on Logic in Computer Science, LICS`94},
pages = {213--219},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)