Equality and Extensionality in Higher-Order Theorem Proving (bibtex)
by Christoph Benzmüller
Reference:
Equality and Extensionality in Higher-Order Theorem Proving (Christoph Benzmüller), PhD thesis, Naturwissenschaftlich-Technische Fakultät I, Saarland University, Saarbrücken, Germany, pp. 1-174, 1999. (Url (preprint): http://christoph-benzmueller.de/papers/T2.pdf)
Bibtex Entry:
@phdthesis{T2,
  Author =	 {Christoph Benzm\"uller},
  Keywords =	 {own, thesis, Higher Order Logic, Henkin Semantics,
                  LEO Prover, Automated Reasoning},
  Pages =	 {1-174},
  School =	 {Naturwissenschaftlich-Technische Fakult{\"a}t I,
                  Saarland University, Saarbr{\"u}cken, Germany},
  Title =	 {Equality and Extensionality in Higher-Order Theorem
                  Proving},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/T2.pdf}},
  Year =	 1999,
}
Powered by bibtexbrowser