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

From International Center for Computational Logic

Toggle side column

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

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


  • ISSN: 1613-0073
Christoph Wernhard
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas
In Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard, eds., Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), volume 2013 of CEUR Workshop Proceedings, 82-98, 2017. CEUR-WS.org
@inproceedings{W2017,
  author    = {Christoph Wernhard},
  title     = {Approximating Resultants of Existential Second-Order Quantifier
               Elimination upon Universal Relational First-Order Formulas},
  editor    = {Patrick Koopmann and Sebastian Rudolph and Renate A. Schmidt and
               Christoph Wernhard},
  booktitle = {Proceedings of the Workshop on Second-Order Quantifier
               Elimination and Related Topics (SOQE 2017)},
  series    = {CEUR Workshop Proceedings},
  volume    = {2013},
  publisher = {CEUR-WS.org},
  year      = {2017},
  pages     = {82-98}
}