TY -
GEN
AU - Seth, Anil
AU - Vishnoi, Nisheeth K.
AU - Anil Seth and Nisheeth K. Vishnoi
TI -
LIPIcs, Volume 24, FSTTCS'13, 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 - Spe Programs
PY - 2014
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
ER -