Zeitschriftenartikel:
O. Beyersdorff, J. Blinkhorn, L. Chew, R. Schmidt, M. Suda:
"Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF";
Journal of Automated Reasoning,
J Autom Reasoning
(2018),
S. 1
- 27.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10817-018-9482-4
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_277426.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.