Termination of {aa ⅾ bc, bb ⅾ ac, cc ⅾ ab}
Information Processing Letters
Termination of {aa →bc,bb→ac,cc→ab}
Information Processing Letters
Weighted automata for proving termination of string rewriting
Journal of Automata, Languages and Combinatorics
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Hi-index | 0.00 |