Conference Report: Logic, Proofs and Algorithms

&
Logic Journal of the IGPL 6 (4):656-657 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

  • This entry has no external links. Add one.
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

A parallel game semantics for Linear Logic.Stefano Baratella & Stefano Berardi - 1997 - Archive for Mathematical Logic 36 (3):189-217.
Conference Report: Logic for Concurrency and Synchronisation (LOCUS).Ruy Jgb de Queiroz - 1998 - Logic Journal of the IGPL 6 (4):659-663.
Conference Report: Logic in Natural Language.Ruy Jgb de Queiroz - 1998 - Logic Journal of the IGPL 6 (4):657-658.
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren - 2014 - Logica Universalis 8 (1):103-140.
How to think about algorithms.Jeff Edmonds - 2008 - New York: Cambridge University Press.
On logic of complex algorithms.Helena Rasiowa - 1981 - Studia Logica 40 (3):289 - 310.
Prediction on Spike data using kernel algorithms.Nikos Logothetis - manuscript
Prediction on Spike Data Using Kernel Algorithms.Andreas Tolias - unknown
Extracting Algorithms from Intuitionistic Proofs.Fernando Ferreira & António Marques - 1998 - Mathematical Logic Quarterly 44 (2):143-160.
The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.
Abduction through semantic tableaux versus abduction through goal-directed proofs.Joke Meheus & Dagmar Provijn - 2007 - Theoria 22 (3):295-304.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
The three dimensions of proofs.Yves Guiraud - 2006 - Annals of Pure and Applied Logic 141 (1):266-295.
6th Conference on Computability in Europe "Programs, Proofs, Processes".Fernando Ferreira - 2011 - Bulletin of Symbolic Logic 17 (3):478-479.

Analytics

Added to PP
2014-01-21

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?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references