Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16
Latest Publications


TOTAL DOCUMENTS

89
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By ACM Press

9781450343916

Author(s):  
Gilles Barthe ◽  
Marco Gaboardi ◽  
Benjamin Grégoire ◽  
Justin Hsu ◽  
Pierre-Yves Strub

Author(s):  
Michael Benedikt ◽  
Pierre Bourhis ◽  
Balder ten Cate ◽  
Gabriele Puppis

Sign in / Sign up

Export Citation Format

Share Document