An unexpected separation result in Linearly Bounded Arithmetic
| Date first appeared online | |
| DOI | 10.1002/malq.200410019 |
| Authors | Beckmann A. |
| Journal Name | MLQ |
| Volume | 51 |
| Date first appeared online | |
| DOI | 10.1002/malq.200410019 |
| Authors | Beckmann A. |
| Journal Name | MLQ |
| Volume | 51 |