A Guide to Quantified Propositional Gödel Logic (bibtex)
by Matthias Baaz, Agata Ciabattoni, Norbert Preining, Helmut Veith
Reference:
A Guide to Quantified Propositional Gödel LogicMatthias Baaz, Agata Ciabattoni, Norbert Preining, Helmut VeithWorkshop on Theory and Applications of Quantified Boolean Formulas (QBF 2001), 2001.
Bibtex Entry:
@inproceedings{qbf2001:veith01,
  author = {Matthias Baaz and Agata Ciabattoni and Norbert Preining and Helmut Veith},
  title = {A Guide to Quantified Propositional G{\"o}del Logic},
  year = {2001},
  booktitle = {Workshop on Theory and Applications of Quantified Boolean Formulas (QBF 2001)}
}
Powered by bibtexbrowser