No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete (Q4635635)
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: No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete |
scientific article; zbMATH DE number 6863108
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete |
scientific article; zbMATH DE number 6863108 |
Statements
No proof nets for MLL with units (English)
0 references
23 April 2018
0 references
PSPACE-completeness
0 references
constraint logic
0 references
linear logic
0 references
proof equivalence
0 references
proof nets
0 references
0.970051109790802
0 references
0.8631043434143066
0 references
0.8304557204246521
0 references
0.8156998157501221
0 references
0.8115152716636658
0 references
