SOQE

Publications

2017

Ruba Alassaf, Renate A. Schmidt
A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME. SOQE (2017)
Christoph Wernhard
Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract). SOQE (2017)
Marco Voigt
Towards Elimination of Second-Order Quantifiers in the Separated Fragment. SOQE (2017)
Christoph Wernhard
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas. SOQE (2017)
Warren Del-Pinto, Renate A. Schmidt
Forgetting-Based Abduction in ALC. SOQE (2017)
Patrick Koopmann, Jieying Chen
Computing ALCH. SOQE (2017)
Zhiguang Zhao
Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract). SOQE (2017)
Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic (Abstract). SOQE (2017)
Silvio Ghilardi, Elena Pagani
Second Order Quantifier Elimination: Towards Verification Applications. SOQE (2017)

volume 2013, 2017

Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. SOQE 2013 (2017)