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

Christoph WernhardChristoph Wernhard

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

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Projekt:Project: SOA-VBQP
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@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}
}