Interprocedurally Analyzing Polynomial Identities.

Markus Mller-Olm, Michael Petter, Helmut Seidl

Browse the full STACS paper archive.