Sciweavers

AISC
2010
Springer
14 years 12 days ago
Reducing Expression Size Using Rule-Based Integration
This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted...
David J. Jeffrey, Albert D. Rich