Search: There Is No Best Beta-Normalization
2015
[1]There Is No Best Beta-Normalization Strategy for Higher-Order Reasoners (Alexander Steen, Christoph Benzmüller), In Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (M. Davis, A. Fehnker, A. McIver, A. Voronkov, eds.), Springer, LNAI, volume 9450, pp. 329-339, 2015. (Url (preprint): http://christoph-benzmueller.de/papers/C51.pdf) [bibtex] [doi]
Powered by bibtexbrowser