Search: Equality And Extensionality In Higher-Order Theorem Proving
1999
[2] 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]
[1] Equality and Extensionality in Higher-Order Theorem Proving (Christoph Benzmüller), Technical report, Saarland University, SEKI Publications (ISSN 1437-4447), number SR-99-08, pp. 1-139, 1999. [bibtex] [pdf]
Powered by bibtexbrowser