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)
External co-authors :
no
Language :
English
Title :
On the complexity of input/output logic
Publication date :
2015
Event name :
The Fifth International Conference on Logic, Rationality and Interaction
Event date :
28-10-2015
Main work title :
Proceedings of the Fifth International Conference on Logic, Rationality and Interaction