Pages that link to "Item:Q1854457"
From MaRDI portal
The following pages link to Confluence problems for trace rewriting systems (Q1854457):
Displaying 7 items.
- Word problems over traces which are solvable in linear time (Q914395) (← links)
- On confluent semi-commutations: Decidability and complexity results (Q1322470) (← links)
- Decidable first-order theories of one-step rewriting in trace monoids (Q1764424) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- Efficient rewriting in cograph trace monoids (Q5055886) (← links)
- Word problems over traces which are solvable in linear time (Q5096152) (← links)
- Trace rewriting systems (Q5881198) (← links)