Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 ; proceedings - Libkin, Leonid (Herausgeber); Kohlenbach, Ulrich (Herausgeber); Queiroz, Ruy J. G. B. de (Herausgeber); WoLLIC (20 : 2013 : Darmstadt) (Lecture notes in computer science, 2013)