Logic and Computation Seminar
Monday, September 23, 2002 - 4:30pm
Davide Sangiorgi
INRIA-Sophia Antipolis, France and the University of Bologna, Italy
Monday, September 23, 2002 - 4:30pm
INRIA-Sophia Antipolis, France and the University of Bologna, Italy