Logic, Language, Information, and Computation 23rd International Wor

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 20

  • PDF / 10,985,156 Bytes
  • 468 Pages / 439.37 x 666.142 pts Page_size
  • 2 Downloads / 215 Views

DOWNLOAD

REPORT


Jouko Väänänen · Åsa Hirvonen Ruy de Queiroz (Eds.)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016 Puebla, Mexico, August 16–19th, 2016 Proceedings

123

Lecture Notes in Computer Science

9803

Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen

Editorial Board David Hutchison, UK Josef Kittler, UK Friedemann Mattern, Switzerland Moni Naor, Israel Bernhard Steffen, Germany Doug Tygar, USA

Takeo Kanade, USA Jon M. Kleinberg, USA John C. Mitchell, USA C. Pandu Rangan, India Demetri Terzopoulos, USA Gerhard Weikum, Germany

FoLLI Publications on Logic, Language and Information Subline of Lectures Notes in Computer Science Subline Editors-in-Chief Valentin Goranko, Technical University, Lynbgy, Denmark Michael Moortgat, Utrecht University, The Netherlands

Subline Area Editors Nick Bezhanishvili, Utrecht University, The Netherlands Anuj Dawar, University of Cambridge, UK Philippe de Groote, Inria-Lorraine, Nancy, France Gerhard Jäger, University of Tübingen, Germany Fenrong Liu, Tsinghua University, Beijing, China Eric Pacuit, University of Maryland, USA Ruy de Queiroz, Universidade Federal de Pernambuco, Brazil Ram Ramanujam, Institute of Mathematical Sciences, Chennai, India

More information about this series at http://www.springer.com/series/7407

Jouko Väänänen Åsa Hirvonen Ruy de Queiroz (Eds.) •

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016 Puebla, Mexico, August 16–19th, 2016 Proceedings

123

Editors Jouko Väänänen Department of Mathematics and Statistics University of Helsinki Helsinki Finland

Ruy de Queiroz Centro de Informática Recife, Pernambuco Brazil

Åsa Hirvonen Department of Mathematics and Statistics University of Helsinki Helsinki Finland

ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notes in Computer Science ISBN 978-3-662-52920-1 ISBN 978-3-662-52921-8 (eBook) DOI 10.1007/978-3-662-52921-8 Library of Congress Control Number: 2016944475 LNCS Sublibrary: SL1 – Theoretical Computer Science and General Issues © Springer-Verlag Berlin Heidelberg 2016 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publicati