VSL 2014: VIENNA SUMMER OF LOGIC 2014
Jacobo Torán
Organization: Universität Ulm
Web site: http://www.uni-ulm.de/in/theo/m/toran.html
Pages in this Program
SAT Program Committee