Editors:
- Fast track conference proceedings of WoLLIC 2013
- State-of-the-art research
- Up-to-date results
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8071)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): WoLLIC: International Workshop on Logic, Language, Information, and Computation
Conference proceedings info: WoLLIC 2013.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (23 papers)
-
Front Matter
About this book
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.
Editors and Affiliations
-
School of Informatics, University of Edinburgh, Edinburgh, UK
Leonid Libkin
-
Fachbereich Mathematik, TU Darmstadt, Darmstadt, Germany
Ulrich Kohlenbach
-
Centro de Informática, Universidade Federal de Pernambuco (UFPE), Recife, Brazil
Ruy Queiroz
Bibliographic Information
Book Title: Logic, Language, Information, and Computation
Book Subtitle: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Editors: Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-39992-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN: 978-3-642-39991-6Published: 08 August 2013
eBook ISBN: 978-3-642-39992-3Published: 15 August 2013
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 283
Number of Illustrations: 15 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Symbolic and Algebraic Manipulation, Computer Science, general