author = { Lodaya, Kamal AND Mahajan, Meena Kamal Lodaya and Meena Mahajan },

title = { LIPIcs, Volume 8, FSTTCS'10, Complete Volume },

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

keywords = { Nonnumerical Algorithms and Problems pecifying and Verifying and Reasoning about Program , Complexity Measures and Classes , Models of Computation , Software/Program Verification , Modes of Computation },

year = {2013},

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