Automating Free Logic in HOL, with an Experimental Application in Category Theory (bibtex)
by Christoph Benzmüller, Dana S. Scott
Reference:
Automating Free Logic in HOL, with an Experimental Application in Category Theory (Christoph Benzmüller, Dana S. Scott), In Journal of Automated Reasoning, 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.11432.83202)
Bibtex Entry:
@article{J40,
  author =	 {Christoph Benzm{\"u}ller and Scott, Dana S.},
  title =	 {Automating Free Logic in {HOL}, with an Experimental
                  Application in Category Theory},
  year =	 2019,
  journal =	 {Journal of Automated Reasoning},
  doi =		 {10.1007/s10817-018-09507-7},
  Note =	 {Url (preprint):
                  \url{http://doi.org/10.13140/RG.2.2.11432.83202}},
}
Powered by bibtexbrowser