Logic, Language, Information, and Computation
24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Editors: Kennedy, Juliette, de Queiroz, Ruy (Eds.)
Free PreviewBuy this book
- 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
Pages 1-13
-
Independence-Friendly Logic Without Henkin Quantification
Pages 14-30
-
Total Search Problems in Bounded Arithmetic and Improved Witnessing
Pages 31-47
-
On the Reflection Calculus with Partial Conservativity Operators
Pages 48-67
-
On the Length of Medial-Switch-Mix Derivations
Pages 68-79
-
Table of contents (28 chapters)
Buy this book
Recommended for you
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
- 25 b/w illustrations
- Topics
