[Pre2002] Gödel logics and Cantor-Bendixon Analysis
| Prei02LPAR (In proceedings)
|
| Author(s) | Preining N. |
| Title | "Gödel logics and Cantor-Bendixon Analysis" |
| Date | October 2002 |
| In | Proceedings of LPAR'2002 |
| Editor(s) | Baaz M. and Voronkov A. |
| Series | LNAI 2514 |
| Page(s) | 327--336 |
@inproceedings{Prei02LPAR,
title = {{G}ödel logics and {C}antor-{B}endixon Analysis},
year = {2002},
booktitle = {Proceedings of \textsc{lpar}'2002},
editor = {Baaz, M. and Voronkov, A.},
pages = {327--336},
month = {October},
author = {Preining, N.},
series = {\textsc{lnai}˜2514},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)