Type: Phdthesis
1999
[1]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]
Powered by bibtexbrowser