[BL1998] Extensionskalküle und Beweiskomplexität
| BaazLeit98OGAI (Article)
|
| Author(s) | Baaz M. and Leitsch A. |
| Title | "Extensionskalküle und Beweiskomplexität" |
| Date | 1998 |
| Journal | OGAI-Journal 1998/2 (Logik und Komplexität) |
| Volume | - |
| Number | - |
| Page(s) | 2--7 |
@article{BaazLeit98OGAI,
journal = {OGAI-Journal 1998/2 (Logik und Komplexit{\"a}t)},
title = {Extensionskalk{\"u}le und {Beweiskomplexit{\"a}t}},
author = {Baaz, M. and Leitsch, A.},
year = {1998},
pages = {2--7},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)