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
Theoretical Aspects of Computing – ICTAC 2018
Language: en
Pages: 546
Authors: Bernd Fischer
Categories: Computers
Type: BOOK - Published: 2018-10-13 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South
Fundamentals of Computation Theory
Language: en
Pages: 384
Authors: Olaf Owe
Categories: Computers
Type: BOOK - Published: 2011-08-09 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August
Proofs and Computations in Conditional Equational Theories
Language: en
Pages: 88
Authors: G. Sivakumar
Categories: Equations
Type: BOOK - Published: 1989 - Publisher:

GET EBOOK