Second-Order Characterizations of Definientia in Formula Classes

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Second-Order Characterizations of Definientia in Formula Classes
Vienna, Austria, Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014), July 2014

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{W2014,
  author = {Christoph Wernhard},
  title  = {Second-Order Characterizations of Definientia in Formula Classes},
  year   = {2014},
  month  = {July}
}