Pages that link to "Item:Q5302902"
From MaRDI portal
The following pages link to The Confluence Problem for Flat TRSs (Q5302902):
Displayed 8 items.
- Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent (Q407556) (← links)
- Undecidable properties of flat term rewrite systems (Q734041) (← links)
- Undecidable Properties on Length-Two String Rewriting Systems (Q2873677) (← links)
- Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (Q3454085) (← 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)
- New Undecidability Results for Properties of Term Rewrite Systems (Q5166638) (← links)
- Closure of Tree Automata Languages under Innermost Rewriting (Q5170159) (← links)