Pages that link to "Item:Q3210188"
From MaRDI portal
The following pages link to It is decidable whether a monadic thue system is canonical over a regular set (Q3210188):
Displaying 8 items.
- A finite Thue system with decidable word problem and without equivalent finite canonical system (Q1073016) (← links)
- On the regular equivalence problem for regular Thue systems (Q1087011) (← links)
- A note on regular classes in special Thue systems (Q1116708) (← links)
- Calculi in which derivability is decidable by finite interpretations (Q1121677) (← links)
- A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q1127336) (← links)
- Codes modulo finite monadic string-rewriting systems (Q1341747) (← links)
- A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q5055831) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)