Second-Order Characterizations of Definientia in Formula Classes

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

Toggle side column

Second-Order Characterizations of Definientia in Formula Classes

Christoph WernhardChristoph Wernhard
Second-Order Characterizations of Definientia in Formula Classes


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
@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}
}