Loops of Superexponential Lengths in One-Rule String Rewriting
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Termination of string rewriting rules that have one pair of overlaps
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Hi-index | 0.89 |