WoLLIC 2016 Special Issue of APAL (Vol. 170, Issue 9)

Special Issue of the Annals of Pure and Applied Logic (ISSN 0168-0072), Jouko Väänänen & Ruy de Queiroz (eds.), Elsevier, Volume 170, Issue 9, Pages 921-1150 (September 2019).


This special issue of Annals of Pure and Applied Logic brings a selection of papers presented at the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), which was held during August 16-19th in Puebla, Mexico, hosted by Benemérita Universidad Autónoma de Puebla (BUAP) and with support from the Computer Science Department and the Mathematics Department of BUAP. It was the twenty-third in a series of workshops that started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. Short versions of twenty-six papers presented at the Workshop were published in Logic, Language, Information and Computation - 23rd International Workshop, WoLLIC 2016, edited by Jouko Väänänen, Åsa Hirvonen and Ruy de Queiroz, Springer Lecture Notes in Computer Science 9803, a volume in the FoLLI-LNCS series. For the present issue, eight of those papers were selected and appear here in fuller versions. All papers have been selected and refereed by a fresh panel of referees according to the usual standards of Annals of Pure and Applied Logic.

Last Updated June 11, 2019, 09:46am GMT-0300.