I/O Logic in HOL
Author(s): | Benzmüller, Christoph ![]() |
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 |