This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lee masA number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lee mas