1 paper
Luis Miguel Pardo, Daniel Sebastián
The notion of Erzeugungsgrad was introduced by Joos Heintz in 1983 to bound the number of non-empty cells occurring after a process of quantifier elimination. We extend this notion…