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,991

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

19th workshop on logic, language, information and computation (wollic 2012).Luke Ong, Carlos Areces, Santiago Figueira & Ruy de Queiroz - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Conference Report: Logic in Natural Language.Ruy Jgb de Queiroz - 1998 - Logic Journal of the IGPL 6 (4):657-658.
Conference Report: Logic for Concurrency and Synchronisation (LOCUS).Ruy Jgb de Queiroz - 1998 - Logic Journal of the IGPL 6 (4):659-663.
Conference Report.I. D'ottaviano, W. Carnielli, A. Sette & M. Wrigley - 1997 - Logic Journal of the IGPL 5 (3):135-173.
Weak arithmetical interpretations for the Logic of Proofs.Roman Kuznets & Thomas Studer - 2016 - Logic Journal of the IGPL 24 (3):424-440.
Algorithms in cognition, informatics and logic: A position manifesto.D. Gabbay & J. Siekmann - 2010 - Logic Journal of the IGPL 18 (6):763-768.
Exploring Computational Contents of Intuitionist Proofs.da Silva Geiza M. Hamazaki, Haeusler Edward Hermann & A. S. Veloso Paulo - 2005 - Logic Journal of the IGPL 13 (1):69-93.
Exploring Computational Contents of Intuitionist Proofs.G. M. H. da Silva - 2005 - Logic Journal of the IGPL 13 (1):69-93.
Metaheuristic algorithms for optimization of resilient overlay computing systems.K. Walkowiak, W. Charewicz, M. Donajski & J. Rak - 2015 - Logic Journal of the IGPL 23 (1):31-44.
Decision tree algorithms for image data type identification.Khoa Nguyen, Dat Tran, Wanli Ma & Dharmendra Sharma - 2017 - Logic Journal of the IGPL 25 (1):67-82.

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