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

PublikationenPublications

• Nach AutorBy Author
  • Patrick KoopmannPatrick Koopmann
  • Sebastian RudolphSebastian Rudolph
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory
  • Computational LogicComputational Logic
  • WissensverarbeitungKnowledge Representation and Reasoning

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

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