Pages that link to "Item:Q1092041"
From MaRDI portal
The following pages link to The undecidability of self-embedding for finite semi-Thue and Thue systems (Q1092041):
Displaying 7 items.
- Some undecidable termination problems for semi-Thue systems (Q673625) (← links)
- The undecidability of the preperfectness of Thue systems (Q797574) (← links)
- The undecidability of self-embedding for term rewriting systems (Q1061484) (← links)
- One-rule semi-Thue systems with loops of length one, two or three (Q3126011) (← links)
- (Q4349578) (← links)
- Small Semi-Thue System Universal with Respect to the Termination Problem (Q4601128) (← links)
- Non-Looping String Rewriting (Q4718895) (← links)