Pages that link to "Item:Q914395"

The following pages link to Word problems over traces which are solvable in linear time (Q914395):

Displaying 2 items.

• The submonoid and rational subset membership problems for graph groups. (Q947493) (← links)
• Confluence problems for trace rewriting systems (Q1854457) (← links)