Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Communication poster (Colloques, congrès, conférences scientifiques et actes)
A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL
BENZMÜLLER, Christoph; FARJAMI, Ali; PARENT, Xavier
2018 • 6th World Congress and School on Universal Logic
Permalien
https://hdl.handle.net/10993/36394
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
Universal logic.pdf
Postprint Auteur (274.02 kB)
Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Disciplines :
Sciences informatiques
Auteur, co-auteur :
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)
PARENT, Xavier ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL
Date de publication/diffusion :
16 juin 2018
Nom de la manifestation :
6th World Congress and School on Universal Logic
Lieu de la manifestation :
Vichy, France
Date de la manifestation :
from 16-06-2018 to 26-06-2018
Manifestation à portée :
International
Disponible sur ORBilu :
depuis le 22 août 2018

Statistiques

Nombre de vues
101 (dont 6 Unilu)
Nombre de téléchargements
35 (dont 5 Unilu)
Voir plus de statistiques

Bibliographie

Publications similaires


Contacter ORBilu