A Structured Set of Higher-Order Problems (bibtex)
by Christoph Benzmüller, Chad Brown
Reference:
A Structured Set of Higher-Order Problems (Christoph Benzmüller, Chad Brown), In Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Joe Hurd, Thomas F. Melham, eds.), Springer, LNCS, number 3603, pp. 66-81, 2005. (Url (preprint): http://christoph-benzmueller.de/papers/C17.pdf)
Bibtex Entry:
@inproceedings{C17,
  Author =	 {Christoph Benzm{\"u}ller and Chad Brown},
  Booktitle =	 {Theorem Proving in Higher Order Logics, 18th
                  International Conference, TPHOLs 2005, Oxford, UK,
                  August 22-25, 2005, Proceedings},
  Doi =		 {10.1007/11541868_5},
  Editor =	 {Joe Hurd and Thomas F. Melham},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning, Henkin
                  Semantics},
  Number =	 3603,
  Pages =	 {66-81},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {A Structured Set of Higher-Order Problems},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C17.pdf}},
  Year =	 2005,
}
Powered by bibtexbrowser