Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BCFV1998]  Proof theory of fuzzy logic:Urquhart's C and related logics

BCFV98 (In proceedings)
Author(s)Baaz M., Ciabattoni A., Fermüller C. G. and Veith H.
Title"Proof theory of fuzzy logic:Urquhart's C and related logics"
Date1998
InProc. of MFCS'98, Brno
Editor(s)L. brim et al.
SeriesLNCS 1450
Page(s)203--213
PublisherSpringer

BibTeX code

@inproceedings{BCFV98,
  title = {Proof theory of fuzzy logic:{Urquhart's} {C} and related logics},
  year = {1998},
  booktitle = {Proc. of MFCS'98, Brno},
  editor = {L.˜Brim et al.},
  pages = {203--213},
  publisher = {Springer},
  author = {Baaz, M. and Ciabattoni, A. and Fermüller, C. G. and Veith, H.},
  series = {LNCS 1450},
}


 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)