31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014) STACS’14, March 5th to March 8th, 2014, Lyon, France - Mayr, Ernst W. 1950-; Portier, Natacha (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2014)