Search: Effective Normalization Techniques For HOL
2016
[1] Effective Normalization Techniques for HOL (Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller), In Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings (Nicola Olivetti, Ashish Tiwari, eds.), Springer, LNCS, volume 9706, pp. 362-370, 2016. [bibtex] [pdf] [doi]
Powered by bibtexbrowser