23rd Int. Conference on Rewriting Techniques and Applications
Please consider contributing to the International Conference on Rewriting Techniques and Applications (RTA) 2012; submission deadline January 11, 2012.
Please consider contributing to the International Conference on Rewriting Techniques and Applications (RTA) 2012; submission deadline January 11, 2012.