Benzmüller, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Farjami, Ali ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Meder, Paul Joseph Yves ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Parent, Xavier ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
I/O Logic in HOL
Publication date :
2019
Journal title :
IfCoLog Journal of Logics and Their Applications
Volume :
6
Issue :
5
Pages :
715--732
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
European Projects :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
Funders :
CE - Commission Européenne [BE]
Commentary :
In print, preprint: https://www.researchgate.net/publication/332786587_IO_Logic_in_HOL