Pages that link to "Item:Q1854560"
From MaRDI portal
The following pages link to Relative undecidability in term rewriting. II: The confluence hierarchy (Q1854560):
Displaying 9 items.
- Levels of undecidability in rewriting (Q627134) (← links)
- Reachability and confluence are undecidable for flat term rewriting systems (Q1014436) (← links)
- Relative undecidability in term rewriting. I: The termination hierarchy (Q1854559) (← links)
- Relative undecidability in term rewriting. II: The confluence hierarchy (Q1854560) (← links)
- Advanced topics in term rewriting (Q2783416) (← links)
- Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems (Q2829264) (← links)
- Undecidable properties on length-two string rewriting systems (Q2873677) (← links)
- A Confluent Rewriting System Having No Computable, One-Step, Normalizing Strategy (Q2946765) (← links)
- New Undecidability Results for Properties of Term Rewrite Systems (Q5166638) (← links)