Pages that link to "Item:Q673625"
From MaRDI portal
The following pages link to Some undecidable termination problems for semi-Thue systems (Q673625):
Displaying 6 items.
- Quasi-interpretations. A way to control resources (Q541228) (← links)
- The undecidability of the preperfectness of Thue systems (Q797574) (← links)
- Integer weighted automata on infinite words (Q832935) (← links)
- Decision problems for semi-Thue systems with a few rules (Q1763707) (← links)
- Small Semi-Thue System Universal with Respect to the Termination Problem (Q4601128) (← links)
- Integer Weighted Automata on Infinite Words (Q6169963) (← links)
