zbMATH — the first resource for mathematics

Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. (English) Zbl 0816.68017
NATO ASI Series. Series F. Computer and Systems Sciences. 139. Berlin: Springer-Verlag. 470 p. (1995).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Berger, Ulrich; Schwichtenberg, Helmut, Program development by proof transformation, 1-45 [Zbl 0856.03010]
Brauer, Wilfried; Gold, Robert, Concurrent processes and Petri nets, 47-108 [Zbl 0831.68068]
Constable, Robert L., Using reflection to explain and enhance type theory, 109-144 [Zbl 0831.68101]
Girard, Jean-Yves, On geometry of interaction, 145-191 [Zbl 0828.03026]
Hennicker, Rolf; Wirsing, Martin, Behavioural specifications, 193-230 [Zbl 0831.68061]
Jäger, Gerhard, A deductive approach to logic programming, 231-270 [Zbl 0832.68021]
Jouannaud, Jean-Pierre, Rewrite proofs and computations, 271-316 [Zbl 0832.68062]
Milner, Robin, Action structures and the pi-calculus, 317-377 [Zbl 0872.08003]
Scedrov, Andre, Linear logic and computation: A survey, 379-395 [Zbl 0828.03004]
Tucker, J. V.; Zucker, J. I., Computable functions on stream algebras, 397-437 [Zbl 0831.08001]
Wainer, Stanley S., The proof theoretic complexity of recursive programs, 439-470 [Zbl 0827.03032]
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
00B15 Collections of articles of miscellaneous specific interest