Automating Free Logic in HOL, with an Experimental Application in Category Theory
Benzmüller, Christoph; Scott, Dana S. (2020): Automating Free Logic in HOL, with an Experimental Application in Category Theory, in: Journal of Automated Reasoning, Dordrecht: Springer, Jg. 64, S. 53–72, doi: 10.1007/s10817-018-09507-7.
Author:
 ; 
Title of the Journal:
Journal of Automated Reasoning
ISSN:
1573-0670
0168-7433
Publisher Information:
Year of publication:
2020
Volume:
64
Pages:
Language:
English
DOI:
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
URI:
Activation date:
September 16, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/55577