HOL based Universal Reasoning (bibtex)
by Christoph Benzmüller
Reference:
HOL based Universal Reasoning (Christoph Benzmüller), In Handbook of the 4th World Congress and School on Universal Logic (J.Y. Beziau, A. Buchsbaum, A. Costa-Leite, A. Altair, eds.), pp. 232-233, 2013. (slides) ((Superseded by ICAART-2013 paper))
Bibtex Entry:
@inproceedings{C36,
  Address =	 {Rio de Janeiro, Brazil},
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {Handbook of the 4th World Congress and School on
                  Universal Logic},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2013-RIO.pdf
                  " target="_blank">slides</a>},
  Editor =	 {J.Y. Beziau and A. Buchsbaum and A. Costa-Leite and
                  A. Altair},
  Isbn =	 {978-85-400-0682-9},
  Keywords =	 {own, Higher Order Logic, LEO Prover, Semantic Embedding,
                  Modal Logics, Combinations of Logics},
  Note =	 {(Superseded by ICAART-2013 paper)},
  Pages =	 {232-233},
  Title =	 {{HOL} based Universal Reasoning},
  Url =		 {http://christoph-benzmueller.de/papers/C36.pdf},
  Year =	 2013,
}
Powered by bibtexbrowser