Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BEF1997]  Lean Induction Principles for Tableaux

BaazEglyFerm97Tab (In proceedings)
Author(s)Baaz M., Egly U. and Fermüller C. G.
Title"Lean Induction Principles for Tableaux"
Date1997
InAutomated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'97)
Editor(s)Galmiche D.
SeriesLNCS (LNAI) 1227
Page(s)62--75
PublisherSpringer

BibTeX code

@inproceedings{BaazEglyFerm97Tab,
  title = {Lean Induction Principles for Tableaux},
  year = {1997},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'97)},
  editor = {Galmiche, D.},
  pages = {62--75},
  publisher = {Springer},
  address = {Pont-\`a-Mousson, France},
  author = {Baaz, M. and Egly, U. and Fermüller, C. G.},
  series = {LNCS (LNAI) 1227},
}

 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)