Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BF1995]  Non-elementary Speedups between Different Versions of Tableaux

BaazFerm95Tab (In proceedings)
Author(s)Baaz M. and Fermüller C. G.
Title"Non-elementary Speedups between Different Versions of Tableaux"
Date1995
InTheorem Proving with Analytic Tableaux and Related Methods, 4th Int. Workshop, TABLEAUX'95
Editor(s)Baumgartner P., Hähnle R. and Posegga J.
SeriesLNCS (LNAI) 918
Page(s)217--230
PublisherSpringer

BibTeX code

@inproceedings{BaazFerm95Tab,
  title = {Non-elementary Speedups between Different Versions of Tableaux},
  year = {1995},
  booktitle = {Theorem  Proving  with  Analytic  Tableaux and  Related  Methods, 4th Int. Workshop, TABLEAUX'95},
  pages = {217--230},
  editor = {Baumgartner, P. and H\"ahnle, R. and Posegga, J.},
  publisher = {Springer},
  address = {St.˜Goar},
  author = {Baaz, M. and Fermüller, C. G.},
  series = {LNCS (LNAI) 918},
}


 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)