Logic, language, information, and computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings / - Libkin, Leonid.; Kohlenbach, U.; Queiroz, Ruy J. G. B. de. (Springer,, 2013)