Pages that link to "Item:Q3527306"
From MaRDI portal
The following pages link to Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems (Q3527306):
Displaying 5 items.
- Undecidable properties of flat term rewrite systems (Q734041) (← links)
- Non-linear rewrite closure and weak normalization (Q2351264) (← links)
- Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems (Q2873675) (← links)
- Undecidable Properties on Length-Two String Rewriting Systems (Q2873677) (← links)
- Unique Normalization for Shallow TRS (Q3636819) (← links)
