Proof and computation /
Đã lưu trong:
| Nhiều tác giả của công ty: | , |
|---|---|
| Tác giả khác: | |
| Định dạng: | Hội nghị đang tiến hành Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Berlin ; New York :
Springer,
c1995.
|
| Loạt: | NATO ASI series. Computer and systems sciences ;
no. 139. |
| Những chủ đề: |
Mục lục:
- Program Development by Proof Transformation / Ulrich Berger and Helmut Schwichtenberg
- Concurrent Processes and Petri Nets / Wilfried Brauer and Robert Gold
- Using Reflection to Explain and Enhance Type Theory / Robert L. Constable
- On Geometry of Interaction / Jean-Yves Girard
- Behavioural Specifications / Rolf Hennicker and Martin Wirsing
- A Deductive Approach to Logic Programming / Gerhard Jager
- Rewrite Proofs and Computations / Jean-Pierre Jouannaud
- Action Structures and the Pi Calculus / Robin Milner
- Linear Logic and Computation: A Survey / Andre Scedrov
- Computable Functions on Stream Algebras / John V. Tucker and Jeffrey I. Zucker
- The Proof Theoretic Complexity of Recursive Programs / Stanley S. Wainer.