TY -
GEN
AU - Wimmer, Karina
AU - Wimmer, Ralf
AU - Scholl, Christoph
AU - Becker, Bernd
TI -
Skolem functions for DQBF
ET - Extended version
PB - [Albert-Ludwigs-Universität Freiburg]
PY - 2016
N2 - 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
CY - [Freiburg]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -