Media type: Electronic Conference Proceeding; E-Article; Text Title: LIPIcs, Volume 18, FSTTCS'12, Complete Volume Contributor: D'Souza, Deepak [Author]; Kavitha, Telikepalli [Author]; Radhakrishnan, Jaikumar [Author] imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013 Language: English DOI: https://doi.org/10.4230/LIPIcs.FSTTCS.2012 Keywords: Complexity Measures and Classes ; Formal Languages ; Software/Program Verification ; Modes of Computation ; Nonnumerical Algorithms and Problems Specifying and Verifying and Reasoning about Programs ; Models of Computation ; Mathematical Logic Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: LIPIcs, Volume 18, FSTTCS'12, Complete Volume Access State: Open Access