Vol-2012⫷ Vol-2013 ⫸Vol-2014
urn:nbn:de:0074-2013-0


Vol-2013/paper16⫷Vol-2013/paper17⫸Vol-2013/paper18
Christoph Wernhard

Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas