Theoretical Computer Science and General Issues

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Editors: Ésik, Zoltán (Ed.)

Buy this book

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

Table of contents (41 chapters)

  • Functorial Boxes in String Diagrams

    Melliès, Paul-André

    Pages 1-30

  • Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)

    Ong, C. -H. L.

    Pages 31-40

  • Automata and Logics for Words and Trees over an Infinite Alphabet

    Segoufin, Luc

    Pages 41-57

  • Nonmonotonic Logics and Their Algebraic Foundations

    Truszczyński, Mirosław

    Pages 58-71

  • Semi-continuous Sized Types and Termination

    Abel, Andreas

    Pages 72-88

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-45459-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-45458-8
  • 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
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Editors
  • Zoltán Ésik
Series Title
Theoretical Computer Science and General Issues
Series Volume
4207
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45459-5
DOI
10.1007/11874683
Softcover ISBN
978-3-540-45458-8
Edition Number
1
Number of Pages
XII, 627
Topics