Workshop on Second-Order Quantifier Elimination and Related Topics (TIWDC)

SOQE 2017: Dresden, Germany

a service of Schloss Dagstuhl - Leibniz Center for Informatics