TY - GEN
AU - D'Souza, Deepak
AU - Kavitha, Telikepalli
AU - Radhakrishnan, Jaikumar
AU - Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan
TI - LIPIcs, Volume 18, FSTTCS'12, 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 - 2013
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