Home
Proof and Computation by Helmut Schwichtenberg, Paperback | Indigo Chapters
Loading Inventory...
Proof and Computation by Helmut Schwichtenberg, Paperback | Indigo Chapters
From Helmut Schwichtenberg
Current price: $160.95
From Helmut Schwichtenberg
Proof and Computation by Helmut Schwichtenberg, Paperback | Indigo Chapters
Current price: $160.95
Loading Inventory...
Size: 1 x 9.25 x 1.62
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
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. | Proof and Computation by Helmut Schwichtenberg, Paperback | Indigo Chapters