Second-Order Characterizations of Definientia in Formula Classes

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Second-Order Characterizations of Definientia in Formula Classes
In Alexander Bolotov and Manfred Kerber, eds., Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014), 36-37, 2014

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{W2014,
  author    = {Christoph Wernhard},
  title     = {Second-Order Characterizations of Definientia in Formula Classes},
  editor    = {Alexander Bolotov and Manfred Kerber},
  booktitle = {Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT
               2014)},
  year      = {2014},
  pages     = {36-37}
}