Cover Image

Proof and computation [electronic resource] / edited by Helmut Schwichtenberg.

Show other versions (1)

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 compu...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Corporate Authors: North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on Proof and Computation
Other Authors: Schwichtenberg, Helmut, 1942-
Format: Electronic Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©1995.
Series:NATO ASI series. Computer and systems sciences ; no. 139.
Subjects:
Logic programming > Congresses.
Logic, Symbolic and mathematical > Congresses.
Logic programming.
Logic, Symbolic and mathematical.
Conference papers and proceedings.
Table of Contents:
  • Program Development by Proof Transformation
  • Concurrent Processes and Petri Nets
  • Using Reflection to Explain and Enhance Type Theory
  • On Geometry of Interaction
  • Behavioural Specifications
  • A Deductive Approach to Logic Programming
  • Rewrite Proofs and Computations
  • Action Structures and the Pi Calculus
  • Linear Logic and Computation: A Survey
  • Computable Functions on Stream Algebras
  • The Proof Theoretic Complexity of Recursive Programs.

Similar Items