Corrected upper bounds for free-cut elimination

Arnold Beckmann, Samuel R. Buss. Corrected upper bounds for free-cut elimination. Theoretical Computer Science, 412(39):5433-5445, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.