Pages that link to "Item:Q1087011"
From MaRDI portal
The following pages link to On the regular equivalence problem for regular Thue systems (Q1087011):
Displaying 6 items.
- A new lower bound construction for commutative Thue systems with applications (Q808265) (← links)
- Some decision problems about controlled rewriting systems (Q910246) (← links)
- A regularity test for dual bordered OS systems (Q1060851) (← links)
- Preperfectness is undecidable for Thue systems containing only length- reducing rules and a single commutation rule (Q1107523) (← links)
- Elements of finite order for finite weight-reducing and confluent Thue systems (Q1121013) (← links)
- The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete (Q3720578) (← links)