Search: J40
2020
[1]Automating Free Logic in HOL, with an Experimental Application in Category Theory (Christoph Benzmüller, Dana S. Scott), In Journal of Automated Reasoning, Springer Netherlands, volume 64, number 1, pp. 53--72, 2020. (Preprint: http://doi.org/10.13140/RG.2.2.11432.83202) [bibtex] [doi]