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

Details
Bibtex

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