Confluence problems for trace rewriting systems
Information and Computation
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
On One-Rule Grid Semi-Thue Systems
Fundamenta Informaticae - Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju
Hi-index | 0.00 |