Recursive Program Schemes: Semantics and Proof Theory

Journal of Symbolic Logic 44 (4):658-659 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273307

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: W. P. de Roever, Recursive Program Schemes: Semantics and Proof Theory. [REVIEW]Peter Lauer - 1979 - Journal of Symbolic Logic 44 (4):658-659.
de Roever W. P. Jr., Recursive program schemes: semantics and proof theory. Mathematical Centre tracts, no. 70. Mathematisch Centrum, Amsterdam 1976, ix + 112 pp. [REVIEW]Peter Lauer - 1979 - Journal of Symbolic Logic 44 (4):658-659.
Theory of Program Structures: Schemes, Semantics, Verification.Sheila A. Greibach - 1978 - Journal of Symbolic Logic 43 (1):154-156.
Review: Sheila A. Greibach, Theory of Program Structures: Schemes, Semantics, Verification. [REVIEW]Robert L. Constable - 1978 - Journal of Symbolic Logic 43 (1):154-156.
Greibach Sheila A.. Theory of program structures: schemes, semantics, verification. Lecture notes in computer science, vol. 36. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, xv + 364 pp. [REVIEW]Robert L. Constable - 1978 - Journal of Symbolic Logic 43 (1):154-156.
A lambda proof of the p-w theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.
Reductive Logic And Proof-search—proof Theory, Semantics, And Control. [REVIEW]Didier Galmiche - 2006 - Bulletin of Symbolic Logic 12 (2):302-303.
A Lambda Proof Of The P-w Theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.
The Nonarithmeticity of the Predicate Logic of Strictly Primitive Recursive Realizability.Valery Plisko - forthcoming - Review of Symbolic Logic:1-30.
Review: Samuel R. Buss, Handbook of Proof Theory: Hierarchies of Provably Recursive Functions. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):466-467.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,482,377)

6 months
6 (#700,872)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references