1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…