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. (Url (preprint): http://christoph-benzmueller.de/papers/C54.pdf) [bibtex] [doi]
Powered by bibtexbrowser