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

researchr

You are not signed in
Sign in
Sign up

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard, editors, Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. Volume 2013 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]

Conference: soqe2017

Abstract is missing.

A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAMERuba Alassaf, Renate A. Schmidt. 21-26 [doi]

Forgetting-Based Abduction in ALCWarren Del-Pinto, Renate A. Schmidt. 27-35 [doi]

Second Order Quantifier Elimination: Towards Verification ApplicationsSilvio Ghilardi, Elena Pagani. 36-50 [doi]

Computing ALCHPatrick Koopmann, Jieying Chen. 51-66 [doi]

Towards Elimination of Second-Order Quantifiers in the Separated FragmentMarco Voigt. 67-81 [doi]

Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order FormulasChristoph Wernhard. 82-98 [doi]

The Boolean Solution Problem from the Perspective of Predicate Logic (Abstract)Christoph Wernhard. 99-101 [doi]

Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract)Christoph Wernhard. 102-105 [doi]

Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract)Zhiguang Zhao. 106-109 [doi]

runs on WebDSL