Search: Automating Free Logic
2019
[2]Automating Free Logic in HOL, with an Experimental Application in Category Theory (Christoph Benzmüller, Dana S. Scott), In Journal of Automated Reasoning, 2019. (accepted for publication, DOI (preprint): http://dx.doi.org/10.13140/RG.2.2.11432.83202) [bibtex] [doi]
2016
[1] Automating Free Logic in Isabelle/HOL (Christoph Benzmüller, Dana S. Scott), In Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings (G.-M. Greuel, T. Koch, P. Paule, A. Sommese, eds.), Springer, LNCS, volume 9725, pp. 43-50, 2016. [bibtex] [pdf] [doi]
Powered by bibtexbrowser