Yimu Yin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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)

Coauthor Index

1 Jeremy Avigad [1] [2]