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

Tree

Index

Bibliography

[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"
Date	1995
In	Theorem Proving with Analytic Tableaux and Related Methods, 4th Int. Workshop, TABLEAUX'95
Editor(s)	Baumgartner P., Hähnle R. and Posegga J.
Series	LNCS (LNAI) 918
Page(s)	217--230
Publisher	Springer

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