The following pages link to (Q4362915):
Displaying 7 items.
- Undecidable properties of flat term rewrite systems (Q734041) (← links)
- Relative undecidability in term rewriting. I: The termination hierarchy (Q1854559) (← links)
- Relative undecidability in term rewriting. II: The confluence hierarchy (Q1854560) (← links)
- Total termination of term rewriting is undecidable (Q1911402) (← links)
- (Q4271920) (← links)
- New Undecidability Results for Properties of Term Rewrite Systems (Q5166638) (← links)
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem (Q5941196) (← links)