ENGLISH

Proof and Computation

By Helmut Schwichtenberg (auth.) , Helmut Schwichtenberg (eds.) , Ulrich Berger

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1995
ISBN
978-3-642-79363-9, 978-3-642-79361-5
DOI
10.1007/978-3-642-79361-5
Language
english
Format
PDF
Filesize
33 MB (34766640 bytes)
Series
NATO ASI Series 139
Edition
1
Pages
470\477
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Logics and Meanings of ProgramsLogic Design; Computer Communication Networks; Pro

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.

Similar books