VSL 2014: VIENNA SUMMER OF LOGIC 2014
Blai Bonet
Organization: USB
Web site: http://www.ldc.usb.ve/~bonet
Pages in this Program
KR Program Committee