SUN, Xin ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
AMBROSSIO, Diego Agustin ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
On the complexity of input/output logic
Date de publication/diffusion :
2015
Nom de la manifestation :
The Fifth International Conference on Logic, Rationality and Interaction
Date de la manifestation :
28-10-2015
Titre de l'ouvrage principal :
Proceedings of the Fifth International Conference on Logic, Rationality and Interaction