MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams (Q5277831)
From MaRDI portal
scientific article; zbMATH DE number 6744145
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams |
scientific article; zbMATH DE number 6744145 |
Statements
12 July 2017
0 references
linear logic
0 references
proof equivalence
0 references
additive connectives
0 references
proof nets
0 references
binary decision diagrams
0 references
logarithmic space
0 references
\(\mathrm{AC}_0\) reductions
0 references
MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams (English)
0 references
