Computation and Logic Group

School of Computer Science
McGill University