6th Conference on Computability in Europe "Programs, Proofs, Processes"

Bulletin of Symbolic Logic 17 (3):478-479 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1309952324

Links

PhilArchive



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

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

Programs, proofs, processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings.Fernando Ferreira (ed.) - 2010 - New York: Springer.
Computability in Europe 2010.Fernando Ferreira, Martin Hyland, Benedikt Löwe & Elvira Mayordomo - 2012 - Annals of Pure and Applied Logic 163 (6):621-622.
Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
Proofs are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript
When the proof doesnt show the truth.Farzad Didehvar - manuscript
Computability and continuity in computable metric partial algebras equipped with computability structures.Fredrik Dahlgren - 2004 - Mathematical Logic Quarterly 50 (4):486.
Symbols, strings, and spikes.Gualtiero Piccinini - 2005 - Unpublished.
Algebra of proofs.M. E. Szabo - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
Proofs and programs.Giuseppe Longo - 2003 - Synthese 134 (1-2):85 - 117.
Identité en Europe, identité de l'Europe: Conférence Schuman 2003.Herman De Dijn - 2011 - Revue Philosophique De Louvain 109 (1):137-160.
Respecting Autonomy in Population Policy: An Argument for International Family Planning Programs.B. S. Hale & L. Hale - 2010 - Public Health Ethics 3 (2):157-166.
The veblen functions for computability theorists.Alberto Marcone & Antonio Montalbán - 2011 - Journal of Symbolic Logic 76 (2):575 - 602.
Computability in Europe 2008.Arnold Beckmann, Costas Dimitracopoulos & Benedikt Löwe - 2010 - Archive for Mathematical Logic 49 (2):119-121.
Printre feminisme/ Among Feminisms.Mihaela Mudure - 2003 - Journal for the Study of Religions and Ideologies 2 (6):165-178.

Analytics

Added to PP
2013-12-18

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references