Proof and Computation

Proof and Computation
Author :
Publisher : Springer Science & Business Media
Total Pages : 478
Release :
ISBN-10 : 9783642793615
ISBN-13 : 3642793614
Rating : 4/5 (614 Downloads)

Book Synopsis Proof and Computation by : Helmut Schwichtenberg

Download or read book Proof and Computation written by Helmut Schwichtenberg and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 478 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

Proof and Computation
Language: en
Pages: 478
Authors: Helmut Schwichtenberg
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

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
Term Rewriting Systems
Language: en
Pages: 926
Authors: Terese
Categories: Computers
Type: BOOK - Published: 2003-03-20 - Publisher: Cambridge University Press

GET EBOOK

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete tran
Proofs and Algorithms
Language: en
Pages: 161
Authors: Gilles Dowek
Categories: Computers
Type: BOOK - Published: 2011-01-11 - Publisher: Springer Science & Business Media

GET EBOOK

Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning a
10th International Conference on Automated Deduction
Language: en
Pages: 708
Authors: Mark E. Stickel
Categories: Artificial intelligence
Type: BOOK - Published: 1990 - Publisher: Springer Science & Business Media

GET EBOOK

"This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on a
Rewriting Techniques and Applications
Language: en
Pages: 322
Authors: Vincent van Oostrom
Categories: Mathematics
Type: BOOK - Published: 2004-05-24 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany