Home
Skrivet av Andrzej SzaĆas
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications