Cumulative Habilitation Script (bibtex)
by Christoph Benzmüller
Reference:
Cumulative Habilitation Script (Christoph Benzmüller), Saarland University, Germany, pp. 1-357, 2006. (Url (preprint): http://christoph-benzmueller.de/papers/T3.pdf)
Bibtex Entry:
@book{T3,
  Author =	 {Christoph Benzm\"uller},
  Keywords =	 {own, thesis, Higher Order Logic, Henkin Semantics,
                  LEO Prover, Automated Reasoning},
  Pages =	 {1-357},
  Publisher =	 {Saarland University, Germany},
  Title =	 {Cumulative Habilitation Script},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/T3.pdf}},
  Year =	 2006,
}
Powered by bibtexbrowser