Pages that link to "Item:Q4841768"
From MaRDI portal
The following pages link to On confluence of one-rule trace-rewriting systems (Q4841768):
Displaying 5 items.
- Synchronization expressions with extended join operation (Q1274985) (← links)
- On normalizing, non-terminating one-rule string rewriting systems (Q1575660) (← links)
- Confluence problems for trace rewriting systems (Q1854457) (← links)
- The word problem for one-relation monoids: a survey (Q1982573) (← links)
- On confluence versus strong confluence for one-rule trace-rewriting systems (Q4841769) (← links)