More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Theoretical Computer Science and General Issues

Logic, Language, Information, and Computation

24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Editors: Kennedy, Juliette, de Queiroz, Ruy (Eds.)

Buy this book

eBook $74.99
price for Brazil (gross)
  • ISBN 978-3-662-55386-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for Brazil
  • ISBN 978-3-662-55385-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers  were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation. 

Table of contents (28 chapters)

  • Graph Turing Machines

    Ackerman, Nathanael L. (et al.)

    Pages 1-13

  • Independence-Friendly Logic Without Henkin Quantification

    Barbero, Fausto (et al.)

    Pages 14-30

  • Total Search Problems in Bounded Arithmetic and Improved Witnessing

    Beckmann, Arnold (et al.)

    Pages 31-47

  • On the Reflection Calculus with Partial Conservativity Operators

    Beklemishev, Lev D.

    Pages 48-67

  • On the Length of Medial-Switch-Mix Derivations

    Bruscoli, Paola (et al.)

    Pages 68-79

Buy this book

eBook $74.99
price for Brazil (gross)
  • ISBN 978-3-662-55386-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for Brazil
  • ISBN 978-3-662-55385-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic, Language, Information, and Computation
Book Subtitle
24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Editors
  • Juliette Kennedy
  • Ruy de Queiroz
Series Title
Theoretical Computer Science and General Issues
Series Volume
10388
Copyright
2017
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Germany
eBook ISBN
978-3-662-55386-2
DOI
10.1007/978-3-662-55386-2
Softcover ISBN
978-3-662-55385-5
Edition Number
1
Number of Pages
X, 401
Number of Illustrations and Tables
25 b/w illustrations
Topics