Some Fragments Towards Establishing Completeness Properties of Second-Order Quantifier Elimination Methods
Aus International Center for Computational Logic
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
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
- 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}
}