Pages that link to "Item:Q4013403"
From MaRDI portal
The following pages link to The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems (Q4013403):
Displayed 2 items.