Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BZ2000]  Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic

BaazZach00CSL (In proceedings)
Author(s)Baaz M. and Zach R.
Title"Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic"
Date2000
InComputer Science Logic, Proceedings of the CSL'2000
Editor(s)Clote P. G. and Schwichtenberg H.
SeriesLNCS 1862
Page(s)178--201
PublisherSpringer

BibTeX code

@inproceedings{BaazZach00CSL,
  title = {Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic},
  year = {2000},
  booktitle = {Computer Science Logic, Proceedings of the CSL'2000},
  pages = {178--201},
  editor = {Clote, P. G. and Schwichtenberg, H.},
  publisher = {Springer},
  author = {Baaz, M. and Zach, R.},
  series = {LNCS˜1862},
}


 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)