"Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size ..."

Namrata Shekhar et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics