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

Patrick KoopmannPatrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph WernhardSebastian Rudolph, Renate A. Schmidt, Christoph 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:Further Information: Link
Projekt:Project: SOA-VBQP
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory, Computational LogicComputational Logic, WissensverarbeitungKnowledge Representation and Reasoning

@proceedings{KS2017,
  author    = {Patrick Koopmann and Sebastian Rudolph, Renate A. Schmidt,
               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}
}