Home
Skrivet av D. M. Gabbay
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications