Depth of proofs, depth of cut-formulas and complexity of cut formulas

  • Authors:

  • Wenhui Zhang

  • Affiliations:

  • -

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 1994

Quantified Score

Hi-index 5.23

Visualization

Abstract