Proof and Computation by Helmut SchwichtenbergProof and Computation by Helmut Schwichtenberg

Proof and Computation

byHelmut Schwichtenberg

Paperback | December 13, 2011

Pricing and Purchase Info

$181.71 online 
$219.50 list price save 17%
Earn 909 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
Title:Proof and ComputationFormat:PaperbackDimensions:470 pages, 23.5 × 15.5 × 0.07 inPublished:December 13, 2011Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642793630

ISBN - 13:9783642793639


Table of Contents

Program Development by Proof Transformation.- Concurrent Processes and Petri Nets.- Using Reflection to Explain and Enhance Type Theory.- On Geometry of Interaction.- Behavioural Specifications.- A Deductive Approach to Logic Programming.- Rewrite Proofs and Computations.- Action Structures and the Pi Calculus.- Linear Logic and Computation: A Survey.- Computable Functions on Stream Algebras.- The Proof Theoretic Complexity of Recursive Programs.