| 2007 | ||
|---|---|---|
| 2 | Jeremy Avigad, Yimu Yin: Quantifier elimination for the reals with a predicate for the powers of two. Theor. Comput. Sci. 370(1-3): 48-59 (2007) | |
| 2006 | ||
| 1 | Jeremy Avigad, Yimu Yin: Quantifier elimination for the reals with a predicate for the powers of two CoRR abs/cs/0610117: (2006) | |
| 1 | Jeremy Avigad | [1] [2] |