I/O Logic in HOL




Author(s): Benzmüller, Christoph  ; Farjami, Ali; Meder, Paul; Parent, Xavier
Title of the Journal: Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications
ISSN: 2631-9829, 2631-9810
Publisher Information: Rickmansworth, UK : College Publications
Year of publication: 2019
Volume: 6
Issue: 5
Pages: 715-733
Language(s): English
URL: http://www.collegepublications.co.uk/downloads/...
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/57402
Release Date: 23. December 2022