Second-Order Quantifier Elimination

25^th October 2008, 16:00
Dr Renate A. Schmidt
School of Computer Science, University of Manchester, UK