Interprocedurally analyzing polynomial identities (2006)

by Markus Müller-Olm , Michael Petter , Helmut Seidl
Venue:IN PROC. OF STACS 2006
Citations:11 - 1 self