Lecture Notes in Computer Science

Computer Science Logic

16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September

Editors: Bradfield, Julian (Ed.)

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-3-540-45793-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $159.00
price for USA
  • ISBN 978-3-540-44240-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ´ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ (Julian Brad?eld) and ‘Parametrized Complexity’ (Martin Grohe) – were given on the previous day.

Table of contents (3 chapters)

  • Limit-Computable Mathematics and Its Applications

    Susumu Hayashi, Yohji Akama

    Pages 1-1

  • Compactness and Continuity, Constructively Revisited

    Douglas Bridges, Hajime Ishihara, Peter Schuster

    Pages 89-102

  • Greibach Normal Form in Algebraically Complete Semirings

    Zoltán Ésik, Hans Leiβ

    Pages 135-150

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-3-540-45793-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $159.00
price for USA
  • ISBN 978-3-540-44240-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Science Logic
Book Subtitle
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Editors
  • Julian Bradfield
Series Title
Lecture Notes in Computer Science
Series Volume
2471
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45793-0
DOI
10.1007/3-540-45793-3
Softcover ISBN
978-3-540-44240-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 628
Topics