Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings [Book Review]

, &
Springer (1999)
  Copy   BIBTEX

Abstract

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL '98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998. The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area.

Categories

Keywords

Reprint years

ISBN(s)

3540659226   9783540659228

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

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

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: 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: 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, Brno, Czech Republic, August 1998, Proceedings'.Georg Gottlob, Etienne Grandjean & Katrin Seyr - 2001 - Studia Logica 69 (3):440-440.
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings.Jerzy Marcinkowski, Andrzej Tarlecki & European Association for Computer Science Logic - 2004 - Springer Verlag.
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: 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: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings.Laurent Fribourg - 2001 - Springer.
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.
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. 7th Workshop, CSL '93, Swansea. Selected Papers.Egon Börger, Yuri Gurevich & Karl Meinke (eds.) - 1994 - Springer.

Analytics

Added to PP
2015-02-13

Downloads
4 (#1,834,549)

6 months
1 (#1,593,032)

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