Login / Signup

Quantifier Elimination for Modules with Scalar Variables.

Lou van den DriesJan E. Holly
Published in: Ann. Pure Appl. Log. (1992)
Keyphrases