default search action

combined dblp search
author search
venue search
publication search

ask others

SOQE 2017: Dresden, Germany

> Home > Conferences and Workshops > SOQE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/soqe/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqe/2017
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

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/soqe/AlassafS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqe/AlassafS17
Ruba Alassaf, Renate A. Schmidt:
A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME. 21-26
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/soqe/Del-PintoS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqe/Del-PintoS17
Warren Del-Pinto, Renate A. Schmidt:
Forgetting-Based Abduction in ALC. 27-35
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/soqe/GhilardiP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqe/GhilardiP17
Silvio Ghilardi, Elena Pagani:
Second Order Quantifier Elimination: Towards Verification Applications. 36-50
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/soqe/KoopmannC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqe/KoopmannC17
Patrick Koopmann, Jieying Chen:
Computing ALCH. 51-66
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/soqe/Voigt17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqe/Voigt17
Marco Voigt:
Towards Elimination of Second-Order Quantifiers in the Separated Fragment. 67-81
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/soqe/Wernhard17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqe/Wernhard17
Christoph Wernhard:
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas. 82-98
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/soqe/Wernhard17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqe/Wernhard17a
Christoph Wernhard:
The Boolean Solution Problem from the Perspective of Predicate Logic (Abstract). 99-101
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/soqe/Wernhard17b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqe/Wernhard17b
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
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/soqe/Zhao17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqe/Zhao17
Zhiguang Zhao:
Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract). 106-109

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.