19th workshop on logic, language, information and computation (wollic 2012)

, , &

Abstract

Luke Ong, Carlos Areces, Santiago Figueira and Ruy de Queiroz The Bulletin of Symbolic Logic, Volume 19, Issue 3, Page 425-426, September 2013

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

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

19th workshop on logic, language, information and computation (wollic 2012).Carlos Areces Luke Ong - 2013 - Bulletin of Symbolic Logic 19 (3):425-426,.
Reviewed Work(s): An introduction to the philosophy of mathematics by Mark Colyvan.Richard Pettigrew - 2013 - Association for Symbolic Logic: The Bulletin of Symbolic Logic 19 (3):396-397.
In memoriam: Ruth Barcan Marcus 1921-2012.Timothy Williamson - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Reviewed Work(s): Some theorems on the algorithmic approach to probability theory and information theory (1971 Dissertation directed by A. N. Kolmogorov). Annals of Pure and Applied Logic, vol. 162 by L. A. Levin. [REVIEW]Jan Reimann - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Reviewed Work(s): Graph structure and monadic second-order logic. Encyclopedia of Mathematics and Its Applications, vol. 138 by Bruno Courcelle; Joost Engelfriet.Achim Blumensath - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
3rd Workshop on Logic, Language, Information and Computation (Wollic'96).Ruy J. G. B. de Queiroz - 1996 - Bulletin of Symbolic Logic 2 (3):374-374.
3Rd Workshop on Logic, Language, Information and Computation (Wollic'96).L. S. Baptista, A. Duran, T. Monteiro & A. G. de Oliveira - 1996 - Bulletin of Symbolic Logic 2 (3).
Eighth workshop on logic, language, information and computation (WoLLIC '2001).Ruy J. G. B. de Queiroz - 2002 - Bulletin of Symbolic Logic 8 (2):319-320.
18Th Workshop on Logic, Language, Information and Computation (Wollic 2011).Lev Beklemishev, Ruy de Queiroz & Andre Scedrov - 2012 - Bulletin of Symbolic Logic 18 (1):152-153.
9th workshop on logic, language, information and computation (wollic'2002).Erich Grädel - 2003 - Bulletin of Symbolic Logic 9 (1):941-949.

Analytics

Added to PP
2013-11-23

Downloads
40 (#1,376,067)

6 months
14 (#869,043)

Historical graph of downloads
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