%0 Generic
%T LIPIcs, Volume 45, FSTTCS'15, Complete Volume
%A Harsha, Prahladh
%A Ramalingam, G.
%A Prahladh Harsha and G. Ramalingam
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Complexity Measures and Classes
%K Formal Languages
%K Software/Program Verification
%K Mathematical Logic
%K Models of Computation
%K Modes of Computation
%K Nonnumerical Algorithms and Problems Specifying and Verifying and Reasoning about Programs
%D 2015
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation