| Document Type
|
:
|
BL
|
| Record Number
|
:
|
753989
|
| Doc. No
|
:
|
b573951
|
| Main Entry
|
:
|
edited by Helmut Schwichtenberg.
|
| Title & Author
|
:
|
Proof and computation\ edited by Helmut Schwichtenberg.
|
| Publication Statement
|
:
|
Berlin ; New York : Springer, ©1995.
|
| Series Statement
|
:
|
NATO ASI series., Series F,, Computer and systems sciences ;, no. 139.
|
| Page. NO
|
:
|
(470 pages) : illustrations
|
| ISBN
|
:
|
3642793614
|
|
|
:
|
: 3642793630
|
|
|
:
|
: 9783642793615
|
|
|
:
|
: 9783642793639
|
| 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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Logic programming -- Congresses.
|
| Subject
|
:
|
Logic, Symbolic and mathematical -- Congresses.
|
| Subject
|
:
|
Programmation logique -- Congrès.
|
| LC Classification
|
:
|
QA76.63E358 1995
|
| Added Entry
|
:
|
Helmut Schwichtenberg
|
|
|
:
|
North Atlantic Treaty Organization. Scientific Affairs Division.
|