The proceedings of the XVI ebl--16th Brazilian logic conference, 2011: A preface

&
Logic Journal of the IGPL 22 (2):181-185 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzt031

Links

PhilArchive



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

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

An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.Walter Carnielli, Marcelo Coniglio & Itala D'ottaviano - 2005 - Logic Journal of the IGPL 13 (1):1-3.
Logic, sets and information: proceedings of the tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Campinas, SP, Brazil: Centro de Lógica, Epistemologia e História da Ciência, UNICAMP.
XVI Brazilian Logic Conference (EBL 2011).Walter Carnielli, Renata de Freitas & Petrucio Viana - 2012 - Bulletin of Symbolic Logic 18 (1):150-151.
Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil.Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999 - American Mathematical Soc..
Proceedings of the Third Brazilian Conference on Mathematical Logic.A. I. Arruda, N. C. A. Da Costa & A. M. Sette - 1983 - Studia Logica 42 (4):483-484.
Theory and application of satisfiability testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011: proceedings.Karem A. Sakallah & Laurent Simon (eds.) - 2011 - New York: Springer.
Mathematical Logic: Proceedings of the First Brazilian Conference.Ayda I. Arruda, Newton C. A. da Costa & R. Chuaqui - 1978
Computer Science Logic 16th International Workshop, Csl 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September 2002 : Proceedings.Julian Bradfield - 2002 - Springer Verlag.
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings.Harald Ganzinger - 1999 - Springer Verlag.
3rd Workshop on Logic, Language, Information and Computation and Brazilian Conference on Mathematical Logic.[author unknown] - 1995 - Logic Journal of the IGPL 3 (5):819-820.
Overview of the 2011 Conference and its Proceedings.[author unknown] - 2011 - Proceedings of the International Association for Business and Society 22:1-2.
XII Brazilian Logic Conference.Edward Hermann Haeusler - 2001 - Bulletin of Symbolic Logic 7 (2):295-295.
CLE/SBL 25 Years XIII Brazilian Logic Conference.Itala M. Loffredo D'Ottaviano - 2004 - Bulletin of Symbolic Logic 10 (4):594-595.
Southeast Asian Conference on Logic: proceedings of the Logic Conference, Singapore, 1981.C.-T. Chong & M. J. Wicks (eds.) - 1983 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Generalized Arrow Update Logic.Bryan Renne & Barteld Kooi - unknown

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,189,467)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Walter Carnielli
University of Campinas

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references