I/O Logic in HOL
Benzmüller, Christoph; Farjami, Ali; Meder, Paul; u. a. (2019): I/O Logic in HOL, in: Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications, Rickmansworth, UK: College Publications, Jg. 6, Nr. 5, S. 715–733.
Author:
 ;  ;  ; 
Title of the Journal:
Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications
ISSN:
2631-9829
2631-9810
Publisher Information:
Year of publication:
2019
Volume:
6
Issue:
5
Pages:
Language:
English
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Article
URI:
Activation date:
December 23, 2022

Question on publication

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