Media type: E-Article; Text; Electronic Conference Proceeding Title: LIPIcs, Volume 93, FSTTCS'17, Complete Volume Contributor: Lokam, Satya [Author]; Ramanujam, R. [Author] imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018 Language: English DOI: https://doi.org/10.4230/LIPIcs.FSTTCS.2017 Keywords: Analysis of Algorithms and Problem Complexity ; Complexity Measures and Classes ; Logics and Meanings of Programs Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: LIPIcs, Volume 93, FSTTCS'17, Complete Volume Access State: Open Access