VSL 2014: VIENNA SUMMER OF LOGIC 2014
Guillaume Aucher
Organization: University of Rennes 1/INRIA
Web site: http://www.irisa.fr/prive/gaucher/
Pages in this Program
KR on Tuesday, July 22nd, 2014
KR Program
Program
Program for Tuesday, July 22nd, 2014