Skip to main navigation Skip to search Skip to main content

Equal rights for the cut: Computable non-analytic cuts in cut-based proofs

  • Marcelo Finger
  • , Dov Gabbay
  • Universidade de São Paulo
  • King's College London

Research output: Contribution to journal › Article › peer-review

11 Scopus citations

Fingerprint

Dive into the research topics of 'Equal rights for the cut: Computable non-analytic cuts in cut-based proofs'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science

Mathematics