An algebraical proof of the contraction criterion for proofnets

Q. Puite

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Accolade '96 proceedings
Editors	J. Engelfriet, T. Spaan
Place of Publication	Amsterdam
Publisher	Dutch Graduate School in Logic, UvA
Pages	93-106
Number of pages	14
Publication status	Published - 1997

Keywords

@inproceedings{8a84ac8dbb644b1a88503e7c003a268f,

title = "An algebraical proof of the contraction criterion for proofnets",

keywords = "Wiskunde en Informatica (WIIN), Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "Q. Puite",

year = "1997",

language = "Undefined/Unknown",

pages = "93--106",

editor = "J. Engelfriet and T. Spaan",

booktitle = "Accolade '96 proceedings",

publisher = "Dutch Graduate School in Logic, UvA",

}

TY - GEN

T1 - An algebraical proof of the contraction criterion for proofnets

AU - Puite, Q.

PY - 1997

Y1 - 1997

KW - Wiskunde en Informatica (WIIN)

KW - Other mathematical specialities

KW - Wiskunde en computerwetenschappen

KW - Wiskunde: algemeen

M3 - Conference contribution

SP - 93

EP - 106

BT - Accolade '96 proceedings

A2 - Engelfriet, J.

A2 - Spaan, T.

PB - Dutch Graduate School in Logic, UvA

CY - Amsterdam

ER -