On the Jordan-Hölder decomposition of proof nets (Q1386676)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the Jordan-Hölder decomposition of proof nets |
scientific article; zbMATH DE number 1156510
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Jordan-Hölder decomposition of proof nets |
scientific article; zbMATH DE number 1156510 |
Statements
On the Jordan-Hölder decomposition of proof nets (English)
0 references
7 September 1998
0 references
homological correctness
0 references
proof nets
0 references
Jordan-Hölder decomposition
0 references
