Overview
- Up-to-date results
- Fast-conference proceedings tracks
- Inter-disciplinary Research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8652)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: WoLLIC 2014.
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 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.
Similar content being viewed by others
Keywords
Table of contents (16 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Logic, Language, Information, and Computation
Editors and Affiliations
Bibliographic Information
Book Title: Logic, Language, Information, and Computation
Book Subtitle: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Editors: Ulrich Kohlenbach, Pablo Barceló, Ruy Queiroz
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-44145-9
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2014
Softcover ISBN: 978-3-662-44144-2Published: 24 July 2014
eBook ISBN: 978-3-662-44145-9Published: 23 August 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XX, 237
Number of Illustrations: 17 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Symbolic and Algebraic Manipulation, Algorithm Analysis and Problem Complexity