Axiomatising the Logic of Computer Programming

Journal of Symbolic Logic 50 (3):854-855 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274340

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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: Robert Goldblatt, Axiomatising the Logic of Computer Programming. [REVIEW]Mitchell Wand - 1985 - Journal of Symbolic Logic 50 (3):854-855.
The Deductive Foundations of Computer Programming: A One-volume Version of The Logical Basis for Computer Programming.Zohar Manna & Richard Waldinger - 1993 - Addison-Wesley Professional.
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).
Theoretical Computer Science Selected Papers of the Symposium on Programming Language Implementation and Logic Programming , Passau, Germany, 26-28 August, 1991.J. Malszy Nski & Martin Wirsing - 1995 - Elsevier.
Logic Programming: Expanding the Horizons.A. Dodd, Richard Owens & S. B. Torrance - 1991 - Intellect Books.
The Logical Basis for Computer Programming: Deductive reasoning.Zohar Marra, Zohar Manna & Richard Waldinger - 1985 - Addison-Wesley Professional.
Lectures on the Logic of Computer Programming.Zohar Manna - 1983 - Journal of Symbolic Logic 48 (1):213-214.
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings.Andrzej Lingas & Rolf Karlsson - 1993 - Springer.
Solving Higher-Order Equations: From Logic to Programming.Christian Prehofer - 1998 - Springer Verlag.
1985 Symposium on Logic Programming: July 15-18, 1985, Sheraton Boston Hotel, Boston, Massachusetts.Association for Logic Programming & Ieee Computer Society - 1985 - Institute of Electrical & Electronics Engineers(IEEE).
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
Alpuk92 Proceedings of the 4th Uk Conference on Logic Programming, London, 30 March-1 April 1992.Krysia Broda & British Computer Society - 1993
ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991.Tim Duncan, C. S. Mellish, Geraint A. Wiggins & British Computer Society - 1992 - Springer.
Graph Reduction: Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986.Joseph H. Fasel, Robert M. Keller, Los Alamos National Laboratory & Microelectronics and Computer Technology Corporation - 1987 - Springer Verlag.

Analytics

Added to PP
2015-02-05

Downloads
23 (#664,515)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.

View all 19 citations / Add more citations

References found in this work

No references found.

Add more references