Second-Order Characterizations of Definientia in Formula Classes

Christoph WernhardChristoph Wernhard

Download

Christoph Wernhard
Second-Order Characterizations of Definientia in Formula Classes
Technical Report, Technische Universität Dresden, volume Knowledge Representation and Reasoning 14-03, 2014

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{W2014,
  author      = {Christoph Wernhard},
  title       = {Second-Order Characterizations of Definientia in Formula
                 Classes},
  institution = {Technische Universit{\"{a}}t Dresden},
  year        = {2014}
}