[Zurück]


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.