Nato ASI Subseries F:

Proof and Computation

Editors: Schwichtenberg, Helmut (Ed.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-79361-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-79363-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (11 chapters)

  • Program Development by Proof Transformation

    Berger, Ulrich (et al.)

    Pages 1-45

  • Concurrent Processes and Petri Nets

    Brauer, Wilfried (et al.)

    Pages 47-108

  • Using Reflection to Explain and Enhance Type Theory

    Constable, Robert L.

    Pages 109-144

  • On Geometry of Interaction

    Girard, Jean-Yves

    Pages 145-191

  • Behavioural Specifications

    Hennicker, Rolf (et al.)

    Pages 193-230

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-79361-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-79363-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Proof and Computation
Editors
  • Helmut Schwichtenberg
Series Title
Nato ASI Subseries F:
Series Volume
139
Copyright
1995
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-79361-5
DOI
10.1007/978-3-642-79361-5
Softcover ISBN
978-3-642-79363-9
Series ISSN
0258-1248
Edition Number
1
Number of Pages
VII, 470
Topics