[BZ1992] Introducing Atomic Cuts into Cut-free LKB-Proofs

Tree

Index

Bibliography

[BZ1992] Introducing Atomic Cuts into Cut-free LK_B-Proofs

BaazZach92TR (Technical report)
Author(s)	Baaz M. and Zach R.
Title	"Introducing Atomic Cuts into Cut-free LK_B-Proofs"
Date	1992
Institution	Technische Universität Wien, Institut für Computersprachen E185/2
Number	TUW-E185.2-BZ.1-92

BibTeX code

@techreport{BaazZach92TR,
  address = {Resselgasse 3/1, A-1040 Vienna, Austria},
  title = {Introducing Atomic Cuts into Cut-free ${\bf LK}_{\rm B}$-Proofs},
  author = {Baaz, M. and Zach, R.},
  year = {1992},
  number = {TUW-E185.2-BZ.1-92},
  institution = {Technische Universit{\"a}t Wien, Institut f\"ur Computersprachen E185/2},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug