Some Fragments Towards Establishing Completeness Properties of Second-Order Quantifier Elimination Methods

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Some Fragments Towards Establishing Completeness Properties of Second-Order Quantifier Elimination Methods
Poster presentation at Jahrestreffen der GI Fachgruppe Deduktionssysteme, associated with CADE 25, August 2015

Details
Bibtex

Projekt:Project: SOA-VBQP
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{W2015,
  author = {Christoph Wernhard},
  title  = {Some Fragments Towards Establishing Completeness Properties of
            Second-Order Quantifier Elimination Methods},
  year   = {2015},
  month  = {August}
}