Algebraic simplification in computer algebra: an analysis of bottom-up algorithms

Reductions in binary search trees

Theoretical Computer Science

Binary Search Trees, Recurrent Properties andWave Equations

Fundamenta Informaticae

On the Average Size of Glushkov's Automata

LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications

Binary Search Trees, Recurrent Properties andWave Equations

Fundamenta Informaticae

Automated simplification of large symbolic expressions

Journal of Symbolic Computation