Department Seminar Series
Second-Order Quantifier Elimination
25th October 2008, 16:00
Dr Renate A. Schmidt
School of Computer Science, University of Manchester, UK
Maintained by Othon Michail