RTA 2013: International Conference on Rewriting Techniques and Applications 2013

in ,

About the Conference

Conference Dates

Proceedings