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

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

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

Christoph WernhardChristoph Wernhard

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

• Details
• Bibtex

• Weitere Informationen unter:Further Information: Link
• Projekt:Project: SOA-VBQP
• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge 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}
}