Examples of use of cut to shorten proofs

Holden, Marit

May 01, 1997

NR

• ISBN:
• Author(s): Holden, Marit
• Title: Examples of use of cut to shorten proofs
• Volume/number:
• Name and number of project:
• Journal: In Haveraaen, M. and Owe, O. (eds.) Selected papers
• Page(s):
• Conference: 8th Nordic Workshop on Programming Theory, Proceedings, University of Oslo
• Refereed: 1
• Publisher:
• Published date: May 01, 1997
• Book title:
• Editor: