STEEN, Alexander ; 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 :
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
Date de publication/diffusion :
décembre 2015
Nom de la manifestation :
Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014)
Lieu de la manifestation :
Vienna, Autriche
Date de la manifestation :
23-07-2014
Manifestation à portée :
International
Titre de l'ouvrage principal :
ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
