Search: A Structured Set Of Higher-Order Problem
[1] A Structured Set of Higher-Order Problems (Christoph Benzmüller, Chad Brown), In Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Joe Hurd, Thomas F. Melham, eds.), Springer, LNCS, number 3603, pp. 66-81, 2005. [bibtex] [pdf] [doi]
Powered by bibtexbrowser