Special Issue of the Journal of Computer and System Sciences (ISSN 0022-0000), Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.), Volume 88, September 2017.

Abstract

The papers reviewed for publication in the volume are full versions (and fully reviewed) the contributions to the 20th Workshop on Logic, Language, Information and Computation held at Technische Universität Darmstadt, from August 20th to 23rd, 2013. 

Last Updated June 12, 2017, 09:23am GMT-0300.