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)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
I/O Logic in HOL
Date de publication/diffusion :
2019
Titre du périodique :
IfCoLog Journal of Logics and Their Applications
Volume/Tome :
6
Fascicule/Saison :
5
Pagination :
715--732
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Projet européen :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
Organisme subsidiant :
CE - Commission Européenne
Commentaire :
In print, preprint: https://www.researchgate.net/publication/332786587_IO_Logic_in_HOL
