Term rewriting and all that
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Probabilistic Rewrite Strategies. Applications to ELAN
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Hi-index | 0.00 |