Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSOQE 2017: Dresden, Germany
- Patrick Koopmann, Sebastian Rudolph
, Renate A. Schmidt, Christoph Wernhard:
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. CEUR Workshop Proceedings 2013, CEUR-WS.org 2017
Research Presentations
- Ruba Alassaf, Renate A. Schmidt:
A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME. 21-26 - Warren Del-Pinto, Renate A. Schmidt:
Forgetting-Based Abduction in ALC. 27-35 - Silvio Ghilardi, Elena Pagani:
Second Order Quantifier Elimination: Towards Verification Applications. 36-50 - Patrick Koopmann, Jieying Chen:
Computing ALCH. 51-66 - Marco Voigt:
Towards Elimination of Second-Order Quantifiers in the Separated Fragment. 67-81 - Christoph Wernhard:
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas. 82-98 - Christoph Wernhard:
The Boolean Solution Problem from the Perspective of Predicate Logic (Abstract). 99-101 - Christoph Wernhard:
Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract). 102-105 - Zhiguang Zhao:
Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract). 106-109
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 21:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
