Pages that link to "Item:Q5302902"
From MaRDI portal
The following pages link to The Confluence Problem for Flat TRSs (Q5302902):
Displayed 4 items.
- Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent (Q407556) (← links)
- Undecidable properties of flat term rewrite systems (Q734041) (← links)
- Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems (Q3522018) (← links)
- Unique Normalization for Shallow TRS (Q3636819) (← links)