Volume 370, Numbers 1-3, February 2007
, Yimu Yin
: Quantifier elimination for the reals with a predicate for the powers of two.
: Languages generated by iterated idempotency.
: A note on efficient aggregate queries in sensor networks.
: Finding maximal leaf-agreement isomorphic descendent subtrees from phylogenetic trees with different species.