A Programming Approach to Computability

, &
Journal of Symbolic Logic 52 (1):289-291 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273889

Links

PhilArchive



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

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: A. J. Kfoury, Robert N. Moll, Michael A. Arbib, A Programming Approach to Computability. [REVIEW]H. P. Edmundson - 1987 - Journal of Symbolic Logic 52 (1):289-291.
A.J. Kfoury, R.N. Moll, M.A. Arbib, "A Programming Approach to Computability". [REVIEW]M. Frixione - 1985 - Epistemologia 8 (1):185.
Computability and Complexity: From a Programming Perspective Vol. 21.N. D. Jones - 1997 - MIT Press.
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.
[Omnibus Review].James S. Royer - 1999 - Journal of Symbolic Logic 64 (2):914-916.
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, September 14 - 16, 1994. Proceedings.Manuel Hermenegildo & Jaan Penjam - 1994 - Springer Verlag.
Programming Language Implementation and Logic Programming 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991 : Proceedings'.J. Malszy Nski & Martin Wirsing - 1991
Programming Language Implementation and Logic Programming International Workshop Plilp '90, Linköping, Sweden, August 20-22, 1990 : Proceedings'.Pierre Deransart - 1990 - Springer Verlag.
Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 1993 : Proceedings.Maurice Bruynooghe & Jaan Penjam - 1993 - Springer Verlag.
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: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).
Interactive Theory Revision: An Inductive Logic Programming Approach.Luc De Raedt - 1992
Conclog: A Methodological Approach to Concurrent Logic Programming.Jean-Marie Jacquet - 1991 - Springer Verlag.
Programming Languages Implementation and Logic Programming International Workshop Plilp '88, Orléans, France, May 16-18, 1988 : Proceedings'.Pierre Deransart, Bernard Lorho & J. Malszy Nski - 1989

Analytics

Added to PP
2015-02-05

Downloads
28 (#556,922)

6 months
10 (#255,509)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references