Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BFZ1993]  Dual Systems of Sequents and Tableaux for Many-valued Logics

BaazFermZach93EATCS (Article)
Author(s)Baaz M., Fermüller C. G. and Zach R.
Title"Dual Systems of Sequents and Tableaux for Many-valued Logics"
Date1993
JournalBulletin EATCS
Volume51
Number-
Page(s)192--197
Notepaper read at 2nd Workshop on Theorem Proving with Tableaux and Related Methods, Marseille, April 1993

BibTeX code

@article{BaazFermZach93EATCS,
  journal = {Bulletin EATCS},
  volume = {51},
  title = {Dual Systems of Sequents and Tableaux for Many-valued Logics},
  author = {Baaz, M. and Fermüller, C. G. and Zach, R.},
  year = {1993},
  pages = {192--197},
  note = {paper read at {\em 2nd Workshop on Theorem Proving with Tableaux and Related Methods}, Marseille, April 1993},
}


 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)