> 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 24, FSTTCS'13, Complete Volume Beteiligte: Seth, Anil [VerfasserIn]; Vishnoi, Nisheeth K. [VerfasserIn] Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014 Sprache: Englisch DOI: https://doi.org/10.4230/LIPIcs.FSTTCS.2013 Schlagwörter: Complexity Measures and Classes ; Nonnumerical Algorithms and Problems ; Formal Languages ; Software/Program Verification ; Mathematical Logic ; Models of Computation ; Modes of Computation ; Spe Programs Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: LIPIcs, Volume 24, FSTTCS'13, Complete Volume Zugangsstatus: Freier Zugang