Proof and Computation

  • Helmut Schwichtenberg
Conference proceedings

Part of the NATO ASI Series book series (volume 139)

Table of contents

  1. Front Matter
    Pages i-vii
  2. Ulrich Berger, Helmut Schwichtenberg
    Pages 1-45
  3. Wilfried Brauer, Robert Gold
    Pages 47-108
  4. Robert L. Constable
    Pages 109-144
  5. Jean-Yves Girard
    Pages 145-191
  6. Rolf Hennicker, Martin Wirsing
    Pages 193-230
  7. Gerhard Jäger
    Pages 231-270
  8. Jean-Pierre Jouannaud
    Pages 271-316
  9. Robin Milner
    Pages 317-377
  10. Andre Scedrov
    Pages 379-395
  11. J. V. Tucker, J. I. Zucker
    Pages 397-437

About these proceedings


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.


Abstract data types Deduction Deduktion Konstruktive Methoden Lineare Logik Nebenläufigkeit Prolog Verteilte Systeme computer computer science concurrency development distributed systems linear logic logic

Editors and affiliations

  • Helmut Schwichtenberg
    • 1
  1. 1.Mathematisches InstitutLudwig-Maximilians-Universität MünchenMünchenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-79363-9
  • Online ISBN 978-3-642-79361-5
  • Buy this book on publisher's site