Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SOQE"( http://dblp.L3S.de/Venues/SOQE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/soqe

Publication years (Num. hits)
2017 (10)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
SOQE(10)
Authors
Christoph Wernhard(4) Renate A. Schmidt(3) Patrick Koopmann(2) Elena Pagani(1) Jieying Chen(1) Marco Voigt(1) Ruba Alassaf(1) Sebastian Rudolph(1) Silvio Ghilardi(1) Warren Del-Pinto(1) Zhiguang Zhao(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ruba Alassaf, Renate A. Schmidt A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME. Search on Bibsonomy SOQE The full citation details ... 2017 DBLP  BibTeX  RDF
1Christoph Wernhard Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract). Search on Bibsonomy SOQE The full citation details ... 2017 DBLP  BibTeX  RDF
1Marco Voigt Towards Elimination of Second-Order Quantifiers in the Separated Fragment. Search on Bibsonomy SOQE The full citation details ... 2017 DBLP  BibTeX  RDF
1Christoph Wernhard Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas. Search on Bibsonomy SOQE The full citation details ... 2017 DBLP  BibTeX  RDF
1Warren Del-Pinto, Renate A. Schmidt Forgetting-Based Abduction in ALC. Search on Bibsonomy SOQE The full citation details ... 2017 DBLP  BibTeX  RDF
1Patrick Koopmann, Jieying Chen Computing ALCH. Search on Bibsonomy SOQE The full citation details ... 2017 DBLP  BibTeX  RDF
1Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard (eds.) Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. Search on Bibsonomy SOQE The full citation details ... 2017 DBLP  BibTeX  RDF
1Zhiguang Zhao Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract). Search on Bibsonomy SOQE The full citation details ... 2017 DBLP  BibTeX  RDF
1Christoph Wernhard The Boolean Solution Problem from the Perspective of Predicate Logic (Abstract). Search on Bibsonomy SOQE The full citation details ... 2017 DBLP  BibTeX  RDF
1Silvio Ghilardi, Elena Pagani Second Order Quantifier Elimination: Towards Verification Applications. Search on Bibsonomy SOQE The full citation details ... 2017 DBLP  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license