Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings [Book Review]

, &
Springer Verlag (2004)
  Copy   BIBTEX

Abstract

This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL 2004, held as the 13th Annual Conference of the EACSL in Karpacz, Poland, in September 2004. The 33 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 88 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts.

Categories

Keywords

Reprint years

ISBN(s)

9783540230243   3540230246

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings.Matthias Baaz, Johann A. Makowsky, European Association for Computer Science Logic & Kurt Gödel Colloquium - 2003 - Springer Verlag.
Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings.Georg Gottlob, Etienne Grandjean & Katrin Seyr - 1999 - Springer Verlag.
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings.Laurent Fribourg - 2001 - Springer Verlag.
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers.M. Nielsen, Wolfgang Thomas & European Association for Computer Science Logic - 1998 - Springer Verlag.
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings.Peter Clote, Helmut Schwichtenberg & European Association for Computer Science Logic - 2000 - Springer.
Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings.Jörg Flum, M. Rodríguez Artalejo & Workshop on Computer Science Logic - 1999 - Springer Verlag.
Computer Science Logic: 8th Workshop, Csl '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers.Leszek Pacholski & Jerzy Tiuryn - 1995 - Springer Verlag.
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.
Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings.Rui Camacho, Ross King & Ashwin Srinivasan - 2004 - Springer Verlag.
Computer Science Logic 9th International Workshop, Csl '95, Annual Conference of the Eacsl, Paderborn, Germany, September 22-29, 1995 : Selected Papers'.H. Kleine Büning & European Association for Computer Science Logic - 1996 - Springer Verlag.

Analytics

Added to PP
2015-02-13

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