[BL1992] Complexity of Resolution Proofs and Function Introduction
| BaazLeit92ANNPA (Article)
|
| Author(s) | Baaz M. and Leitsch A. |
| Title | "Complexity of Resolution Proofs and Function Introduction" |
| Date | 1992 |
| Journal | Ann. Pure Appl. Logic |
| Volume | 57 |
| Number | - |
| Page(s) | 181--215 |
@article{BaazLeit92ANNPA,
journal = {Ann. Pure Appl. Logic},
volume = {57},
title = {Complexity of Resolution Proofs and Function Introduction},
author = {Baaz, M. and Leitsch, A.},
year = {1992},
pages = {181--215},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)