VSL 2014: VIENNA SUMMER OF LOGIC 2014
Weiru Liu
Organization: Queen's University Belfast
Web site: http://www.cs.qub.ac.uk/~W.Liu/
Pages in this Program
KR Program Committee