Theoretical Computer Science and General Issues

Computer Science Logic

22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings

Editors: Kaminski, Michael, Martini, Simone (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-87531-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-87530-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008.

The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award.

Table of contents (36 chapters)

  • The Computability Path Ordering: The End of a Quest

    Blanqui, Frédéric (et al.)

    Pages 1-14

  • The Joy of String Diagrams

    Curien, Pierre-Louis

    Pages 15-22

  • Model Transformations in Decidability Proofs for Monadic Theories

    Thomas, Wolfgang

    Pages 23-31

  • Molecules as Automata

    Cardelli, Luca

    Pages 32-32

  • An Infinite Automaton Characterization of Double Exponential Time

    Torre, Salvatore (et al.)

    Pages 33-48

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-87531-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-87530-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Science Logic
Book Subtitle
22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Editors
  • Michael Kaminski
  • Simone Martini
Series Title
Theoretical Computer Science and General Issues
Series Volume
5213
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-87531-4
DOI
10.1007/978-3-540-87531-4
Softcover ISBN
978-3-540-87530-7
Edition Number
1
Number of Pages
XI, 513
Topics