Corrected upper bounds for free-cut elimination
| Date first appeared online | 09/09/2011 |
| DOI | 10.1016/j.tcs.2011.05.053 |
| Authors | Beckmann A. |
| Journal Name | Theoretical Computer Science |
| Volume | 412 |
| Date first appeared online | 09/09/2011 |
| DOI | 10.1016/j.tcs.2011.05.053 |
| Authors | Beckmann A. |
| Journal Name | Theoretical Computer Science |
| Volume | 412 |