author = { Raman, Venkatesh AND Suresh, S. P. Venkatesh Raman and S. P. Suresh },

title = { LIPIcs, Volume 29, FSTTCS'14, Complete Volume },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Complexity Measures and Classes , Formal Languages , Mathematical Logic , Models of Computation , Software/Program Verification , Nonnumerical Algorithms and Problems , Modes of Computation , Specifying and Verifying and Reasoning about Programs },

year = {2014},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},