> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Skolem functions for DQBF Beteiligte: Wimmer, Karina [VerfasserIn]; Wimmer, Ralf [VerfasserIn]; Scholl, Christoph [VerfasserIn]; Becker, Bernd [VerfasserIn] Erschienen: [Freiburg]: [Albert-Ludwigs-Universität Freiburg], 2016 Ausgabe: Extended version Umfang: 1 Online-Ressource (20 Seiten, Diagramme) Sprache: Englisch DOI: 10.6094/UNIFR/11130 Identifikator: Entstehung: Anmerkungen: This is an extended version of a paper which was published at the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), held October 16 - 20, 2016 in Chiba, Japan Zugangsstatus: Freier Zugang