Pages that link to "Item:Q1854559"
From MaRDI portal
The following pages link to Relative undecidability in term rewriting. I: The termination hierarchy (Q1854559):
Displaying 11 items.
- Levels of undecidability in rewriting (Q627134) (← links)
- Undecidable properties of flat term rewrite systems (Q734041) (← links)
- Decision problems for semi-Thue systems with a few rules (Q1763707) (← links)
- Relative undecidability in term rewriting. II: The confluence hierarchy (Q1854560) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Total termination of term rewriting is undecidable (Q1911402) (← links)
- Advanced topics in term rewriting (Q2783416) (← links)
- Undecidable properties on length-two string rewriting systems (Q2873677) (← links)
- (Q4271920) (← links)
- New Undecidability Results for Properties of Term Rewrite Systems (Q5166638) (← links)
- The termination hierarchy for term rewriting (Q5941751) (← links)