RTA'02

RTA'02
All Links

Share this:

Details of RTA'02

About RTA'02
RTA'02- 13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002.
Publications