Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10388)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: WoLLIC 2017.
Buy print copy
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.
Similar content being viewed by others
Keywords
- agents
- applied computing
- artificial intelligence
- complexity theory
- cut elimination
- finite element method
- formal logic
- foundations
- language
- linear feedback
- modal logic
- proof theory
- problem solving
- semantics
- shift registers
- substructural logics
- theory of computation
- algorithm analysis and problem complexity
Table of contents (28 papers)
-
Front Matter
Other volumes
-
Logic, Language, Information, and Computation
Editors and Affiliations
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 J.G.B. de Queiroz
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-55386-2
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Germany 2017
Softcover ISBN: 978-3-662-55385-5Published: 30 June 2017
eBook ISBN: 978-3-662-55386-2Published: 10 July 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 401
Number of Illustrations: 25 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Symbolic and Algebraic Manipulation, Algorithm Analysis and Problem Complexity