> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht Titel: LIPIcs, Volume 29, FSTTCS'14, Complete Volume Beteiligte: Raman, Venkatesh [VerfasserIn]; Suresh, S. P. [VerfasserIn] Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014 Sprache: Englisch DOI: https://doi.org/10.4230/LIPIcs.FSTTCS.2014 Schlagwörter: Complexity Measures and Classes ; Nonnumerical Algorithms and Problems ; Formal Languages ; Software/Program Verification ; Specifying and Verifying and Reasoning about Programs ; Models of Computation ; Mathematical Logic ; Modes of Computation Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: LIPIcs, Volume 29, FSTTCS'14, Complete Volume Zugangsstatus: Freier Zugang