A simple proof of a theorem of Statman (1992)

Cached

Download Links

by Harry G. Mairson
Venue:Theoretical Computer Science
Citations:20 - 5 self