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. [bibtex] [pdf]
Powered by bibtexbrowser