TY - GEN
AU - Harsha, Prahladh
AU - Ramalingam, G.
AU - Prahladh Harsha and G. Ramalingam
TI - LIPIcs, Volume 45, FSTTCS'15, Complete Volume
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Complexity Measures and Classes
KW - Formal Languages
KW - Software/Program Verification
KW - Mathematical Logic
KW - Models of Computation
KW - Modes of Computation
KW - Nonnumerical Algorithms and Problems Specifying and Verifying and Reasoning about Programs
PY - 2015
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation