Proof and Computation

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.

Produktdetails

• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Fester Einband
• Erschienen: 01.01.1995
• EAN: 9783540585817
• ISBN: 978-3-540-58581-7
• Seiten: 470
• Gewicht: 742 g
• Illustration: w. figs.
• Serie: NATO ASI Series F: Computer and Systems Sciences
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Allgemeines, Lexika