THF0 -- The Core of the TPTP Language for Classical Higher-Order Logic (bibtex)
by Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe
Reference:
THF0 -- The Core of the TPTP Language for Classical Higher-Order Logic (Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe), In Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings (Alessandro Armando, Peter Baumgartner, Gilles Dowek, eds.), Springer, LNCS, volume 5195, pp. 491-506, 2008. (Url (preprint): http://christoph-benzmueller.de/papers/C25.pdf)
Bibtex Entry:
@inproceedings{C25,
  Author =	 {Christoph Benzm{\"u}ller and Florian Rabe and Geoff
                  Sutcliffe},
  Booktitle =	 {Automated Reasoning, 4th International Joint
                  Conference, IJCAR 2008, Sydney, Australia, August
                  12-15, 2008, Proceedings},
  Doi =		 {10.1007/978-3-540-71070-7_41},
  Editor =	 {Alessandro Armando and Peter Baumgartner and Gilles
                  Dowek},
  Keywords =	 {own, Higher Order Logic, Henkin Semantics, Automated
                  Reasoning},
  Pages =	 {491-506},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {{THF0} -- The Core of the {TPTP} Language for
                  Classical Higher-Order Logic},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C25.pdf}},
  Volume =	 5195,
  Year =	 2008,
}
Powered by bibtexbrowser