Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BCZ2000]  Quantified propositional Gödel Logics

BaazCiabZach00LPAR (In proceedings)
Author(s)Baaz M., Ciabattoni A. and Zach R.
Title"Quantified propositional Gödel Logics"
Date2000
InProceedings of LPAR'2000
SeriesLNAI 1955
Page(s)240--257

BibTeX code

@inproceedings{BaazCiabZach00LPAR,
  title = {Quantified propositional {G}{\"o}del Logics},
  author = {Baaz, M. and Ciabattoni, A. and Zach, R.},
  year = {2000},
  booktitle = {Proceedings of LPAR'2000},
  pages = {240--257},
  series = {LNAI˜1955},
}


 Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)