Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
From International Center for Computational Logic
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Patrick KoopmannPatrick Koopmann, Sebastian RudolphSebastian Rudolph, Renate A. SchmidtRenate A. Schmidt, Christoph WernhardChristoph Wernhard

- ISSN: 1613-0073
Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
- Weitere Informationen unter:Other info: Link
- Projekt:Project: SOA-VBQP
- Forschungsgruppe:Research Group: Automatentheorie, Computational Logic, Wissensverarbeitung
@proceedings{KRSW2017,
author = {Patrick Koopmann and Sebastian Rudolph and Renate A. Schmidt and
Christoph Wernhard},
title = {Proceedings of the Workshop on Second-Order Quantifier
Elimination and Related Topics (SOQE 2017)},
series = {CEUR Workshop Proceedings},
volume = {2013},
publisher = {CEUR-WS.org},
year = {2017}
}