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. (Preprint: http://christoph-benzmueller.de/papers/T2.pdf) [bibtex]
[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. (Preprint: http://christoph-benzmueller.de/papers/R11.pdf) [bibtex]
Powered by bibtexbrowser