Vol-2013
urn:nbn:de:0074-2013-7




SOQE 2017
Second-Order Quantifier Elimination and Related Topics


Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)

Dresden, Germany, December 6-8, 2017.


Edited by

Patrick Koopmann *
Sebastian Rudolph *
Renate A. Schmidt **
Christoph Wernhard *

* Technische Universit├Ąt Dresden, International Center for Computational Logic, Dresden, Germany
** University of Manchester, School of Computer Science, Manchester, UK





Table of Contents

Abstracts of Invited Talks

Abstracts of Tutorials

Research Presentations

Supplementary Material


2017-12-02: submitted by Christoph Wernhard, metadata incl. bibliographic data published under Creative Commons CC0
2017-12-03: published on CEUR-WS.org |valid HTML5|