Programs, proofs, processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings [Book Review]

(ed.)
New York: Springer (2010)
  Copy   BIBTEX

Abstract

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form.

Categories

Keywords

Reprint years

Call number

QA9.59.C67 2010

ISBN(s)

9783642139611   3642139612

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

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

Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010: proceedings.Ofer Strichman & Stefan Szeider (eds.) - 2010 - Berlin: Springer.
Algorithm theory - SWAT 2010: 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010: proceedings.Haim Kaplan (ed.) - 2010 - New York: Springer.
The nature of computation: logic, algorithms, applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013: proceedings.Paola Bonizzoni, Vasco Brattka & Benedikt Löwe (eds.) - 2013 - New York: Springer.
University of Azores, Ponta Delgada, Azores, Portugal June 30–July 4, 2010.Eric Allender, José L. Balcázar, Shafi Goldwasser, Denis Hirschfeldt, Sara Negri, Toniann Pitassi & Ronald de Wolf - 2011 - Bulletin of Symbolic Logic 17 (3).
Discovery science: 13th international conference, DS 2010, Canberra, Australia, October 6-8, 2010: proceedings.Bernhard Pfahringer, Geoffrey Holmes & Achim Hoffmann (eds.) - 2010 - New York: Springer.
Models of computation in context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings.Benedikt Löwe (ed.) - 2011 - New York: Springer.
New Frontiers in Artificial Intelligence: JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers.Hiromitsu Hattori, Takahiro Kawamura, Tsuyoshi Ide, Makoto Yokoo & Yohei Murakami (eds.) - 2009 - Springer.
Computation and automata.Arto Salomaa - 1985 - New York: Cambridge University Press.
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01).C. S. Calude - 2001 - Springer.
6th Conference on Computability in Europe "Programs, Proofs, Processes".Fernando Ferreira - 2011 - Bulletin of Symbolic Logic 17 (3):478-479.

Analytics

Added to PP
2012-05-31

Downloads
14 (#1,282,918)

6 months
2 (#1,689,990)

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