[BPZ2003] Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics
| BPZ03ISMVL (In proceedings)
|
| Author(s) | Baaz M., Preining N. and Zach R. |
| Title | "Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics" |
| Date | 2003 |
| In | Proceedings of ISMVL'03 |
| Page(s) | 175--180 |
@inproceedings{BPZ03ISMVL,
title = {Characterization of the Axiomatizable Prenex Fragments of First-Order {G}ödel Logics},
author = {Baaz, M. and Preining, N. and Zach, R.},
year = {2003},
booktitle = {Proceedings of ISMVL'03},
pages = {175--180},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)