Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic

Christoph WernhardChristoph Wernhard
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic


Christoph Wernhard
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
Technical Report, TU Dresden, volume 15-05, 2015. Knowledge Representation and Reasoning
@techreport{W2015,
  author      = {Christoph Wernhard},
  title       = {Heinrich Behmann's Contributions to Second-Order Quantifier
                 Elimination from the View of Computational Logic},
  institution = {TU Dresden},
  year        = {2015}
}