STEEN, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
Publication date :
December 2015
Event name :
Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014)
Event place :
Vienna, Austria
Event date :
23-07-2014
Audience :
International
Main work title :
ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics