Media type: Electronic Conference Proceeding; E-Article; Text Title: LIPIcs, Volume 45, FSTTCS'15, Complete Volume Contributor: Harsha, Prahladh [Author]; Ramalingam, G. [Author] imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015 Language: English DOI: https://doi.org/10.4230/LIPIcs.FSTTCS.2015 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 45, FSTTCS'15, Complete Volume Access State: Open Access