Finite model theory, computational complexity and program schemes

30^th October 2001, 16:00
Prof. Iain Stewart
Department of Mathematics and Computer Science, University of Leicester