VSL 2014: VIENNA SUMMER OF LOGIC 2014
Peng Fu
Organization: School of Computing, University of Dundee
Web site: http://staff.computing.dundee.ac.uk/pengfu/
Pages in this Program
Program
Program for Tuesday, July 15th, 2014
RTA-TLCA on Tuesday, July 15th, 2014
RTA-TLCA Program