Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BF1999]  Analytic Calculi for Projective Logics

BaazFerm99Tab (In proceedings)
Author(s)Baaz M. and Fermüller C. G.
Title"Analytic Calculi for Projective Logics"
Date1999
InAutomated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'99
Editor(s)Murray N.
SeriesLNCS 1617
Page(s)36--50
PublisherSpringer

BibTeX code

@inproceedings{BaazFerm99Tab,
  title = {Analytic Calculi for Projective Logics},
  year = {1999},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'99},
  pages = {36--50},
  editor = {Murray, N.V.},
  publisher = {Springer},
  address = {Saratoga Springs},
  author = {Baaz, M. and Fermüller, C. G.},
  series = {LNCS 1617},
}


 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)