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

From International Center for Computational Logic
Toggle side column

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
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)


  • 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{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}
}