VSL 2014: VIENNA SUMMER OF LOGIC 2014
Victor Vianu
Organization: UC San Diego
Pages in this Program
CSL-LICS Program Committee