Proof and Computation

by Helmut Schwichtenberg

This volume contains a series of lectures by leading researchers on the impact of the concept of a formal proof on computation theory under several aspects: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.

• Format: Paperback
• Language: English
• ISBN: 3642793630
• ISBN13: 9783642793639
• Release Date: December 2011
• Publisher: Springer
• Length: 470 Pages
• Weight: 1.49 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"