TY -
GEN
AU - Raman, Venkatesh
AU - Suresh, S. P.
AU - Venkatesh Raman and S. P. Suresh
TI -
LIPIcs, Volume 29, FSTTCS'14, Complete Volume
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Complexity Measures and Classes
KW - Formal Languages
KW - Mathematical Logic
KW - Models of Computation
KW - Software/Program Verification
KW - Nonnumerical Algorithms and Problems
KW - Modes of Computation
KW - Specifying and Verifying and Reasoning about Programs
PY - 2014
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
ER -