[BZ1993] Algorithmic Structuring of Cut-free Proofs

Tree

Index

Bibliography

[BZ1993] Algorithmic Structuring of Cut-free Proofs

BaazZach93CSL (In proceedings)
Author(s)	Baaz M. and Zach R.
Title	"Algorithmic Structuring of Cut-free Proofs"
Date	1993
In	Computer Science Logic. Selected Papers from CSL'92
Editor(s)	Börger E., Jäger G., Kleine Büning H., Martini S. and Richter M. M.
Series	LNCS 702
Page(s)	29--42
Publisher	Springer

BibTeX code

@inproceedings{BaazZach93CSL,
  title = {Algorithmic Structuring of Cut-free Proofs},
  year = {1993},
  booktitle = {Computer Science Logic. Selected Papers from CSL'92},
  pages = {29--42},
  editor = {B\"orger, E. and J\"ager, G. and Kleine B\"uning, H. and Martini, S. and Richter, M. M.},
  publisher = {Springer},
  author = {Baaz, M. and Zach, R.},
  series = {LNCS˜702},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug