I/O Logic in HOL

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Benzmüller, Christoph; Farjami, Ali; Meder, Paul Joseph Yves; Parent, Xavier

Journal title: Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications

Journal number: 6

Journal publisher: College Publications

Published year: 2019

Published pages: 715-732

ISSN: 2631-9810