Pages that link to "Item:Q1077414"

The following pages link to Upper bound on the lengthening of proofs by cut elimination (Q1077414):

Displaying 2 items.

• Corrected upper bounds for free-cut elimination (Q719283) (← links)
• Sharpened lower bounds for cut elimination (Q2892684) (← links)