| Proof and Computation Softcover Repri Edition Contributor(s): Schwichtenberg, Helmut (Editor) |
|
 |
ISBN: 3642793630 ISBN-13: 9783642793639 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: December 2011 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Logic Design - Computers | Compilers |
| Dewey: 511.352 |
| Series: NATO Asi Subseries F: |
| Physical Information: 0.98" H x 6.14" W x 9.21" (1.49 lbs) 470 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |