RTA 2014: International Conference on Rewriting Techniques and Applications 2014

in ,

About the Conference

Conference Dates

Proceedings