Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BF1996]  Combining Many-valued and Intuitionistic Tableaux

BaazFerm96Tab (In proceedings)
Author(s)Baaz M. and Fermüller C. G.
Title"Combining Many-valued and Intuitionistic Tableaux"
Date1996
InTheorem Proving with Analytic Tableaux and Related Methods, 5th Int. Workshop, TABLEAUX'96
Editor(s)Miglioli P., Moscato U., Mundici D. and Ornaghi M.
SeriesLNCS (LNAI) 1071
Page(s)65--79
PublisherSpringer

BibTeX code

@inproceedings{BaazFerm96Tab,
  title = {Combining Many-valued and Intuitionistic Tableaux},
  year = {1996},
  booktitle = {Theorem  Proving  with  Analytic  Tableaux and  Related  Methods, 5th Int. Workshop, TABLEAUX'96},
  pages = {65--79},
  editor = {Miglioli, P. and Moscato, U. and Mundici, D. and Ornaghi, M.},
  publisher = {Springer},
  address = {Palermo},
  author = {Baaz, M. and Fermüller, C. G.},
  series = {LNCS (LNAI) 1071},
}


 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)