Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BFV2000]  An Analytic Calculus for Quantified Propositional Gödel Logic

BaazFermVeith00Tab (In proceedings)
Author(s)Baaz M., Fermüller C. G. and Veith H.
Title"An Analytic Calculus for Quantified Propositional Gödel Logic"
Date2000
InAutomated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'2000
Editor(s)Dyckhoff R.
SeriesLNCS 1847
Page(s)112--126
PublisherSpringer

BibTeX code

@inproceedings{BaazFermVeith00Tab,
  title = {An Analytic Calculus for Quantified Propositional {G}\"odel Logic},
  year = {2000},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'2000},
  pages = {112--126},
  editor = {Dyckhoff, R.},
  publisher = {Springer},
  author = {Baaz, M. and Fermüller, C. G. and Veith, H.},
  series = {LNCS˜1847},
}


 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)