[BZ1994b] Short Proofs of Tautologies Using the Schema of Equivalence

Tree

Index

Bibliography

[BZ1994b] Short Proofs of Tautologies Using the Schema of Equivalence

BaazZach94CSL (In proceedings)
Author(s)	Baaz M. and Zach R.
Title	"Short Proofs of Tautologies Using the Schema of Equivalence"
Date	1994
In	Computer Science Logic, Proc. 7th Workshop, CSL'93
Editor(s)	Börger E., Gurevich Y. and Meinke K.
Series	LNCS 832
Page(s)	33--35
Publisher	Springer

BibTeX code

@inproceedings{BaazZach94CSL,
  title = {Short Proofs of Tautologies Using the Schema of Equivalence},
  year = {1994},
  booktitle = {Computer Science Logic, Proc. 7th Workshop, CSL'93},
  pages = {33--35},
  editor = {B\"orger, E. and Gurevich, Y. and Meinke, K.},
  publisher = {Springer},
  author = {Baaz, M. and Zach, R.},
  series = {LNCS˜832},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug