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
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:Further Information: Link
- Projekt:Project: SOA-VBQP
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory, Computational LogicComputational Logic, WissensverarbeitungKnowledge Representation and Reasoning
@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}
}