School Seminar Series

Second-Order Quantifier Elimination

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