On the Jordan-Hölder decomposition of proof nets

Q. Puite, H. Schellinx

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	59-65
Number of pages	7
Journal	Archive for Mathematical Logic
Volume	37
Issue number	1
Publication status	Published - 1997

Keywords

@article{edc9d1ef766c40eb99431d59474a35ab,

title = "On the Jordan-H{\"o}lder decomposition of proof nets",

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

author = "Q. Puite and H. Schellinx",

year = "1997",

language = "Undefined/Unknown",

volume = "37",

pages = "59--65",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "1",

}

TY - JOUR

T1 - On the Jordan-Hölder decomposition of proof nets

AU - Puite, Q.

AU - Schellinx, H.

PY - 1997

Y1 - 1997

KW - Wiskunde en Informatica (WIIN)

KW - Other mathematical specialities

KW - Wiskunde en computerwetenschappen

KW - Wiskunde: algemeen

M3 - Article

SN - 0933-5846

VL - 37

SP - 59

EP - 65

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 1

ER -