Media type: Text; E-Article; Electronic Conference Proceeding Title: LIPIcs, Volume 14, STACS'12, Complete Volume Contributor: Dürr, Christoph [Author]; Wilke, Thomas [Author] Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013 Language: English DOI: https://doi.org/10.4230/LIPIcs.STACS.2012 Keywords: Formal Languages ; Mathematical Logic ; Models of Computation ; Graph Theory ; Nonnumerical Algorithms and Problems ; Combinatorics Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: LIPIcs, Volume 14, STACS'12, Complete Volume Access State: Open Access