Rabin Style Speed-Up of Proofs

By Anahit Chubaryan

One of the main problems of quantitative study of proofs is speed-up phenomenon, that is a situation, where two systems are compared such that some theorems have much shorter proof in one of them. For... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3843372551
• ISBN13: 9783843372558
• Release Date: November 2010
• Publisher: LAP Lambert Academic Publishing
• Length: 60 Pages
• Weight: 0.22 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"