The following pages link to On deciding confluence of finite string-rewriting systems modulo partial commutativity (Q1262758):
Displaying 2 items.