Maple s evaluation process as constraint contextual rewriting

Alessandro Armando, Clemens Ballarin. Maple s evaluation process as constraint contextual rewriting. In ISSAC. pages 32-37, 2001. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: