Pages that link to "Item:Q734041"
From MaRDI portal
The following pages link to Undecidable properties of flat term rewrite systems (Q734041):
Displaying 5 items.
- The reachability and related decision problems for monadic and semi-constructor TRSs (Q844204) (← links)
- Normalization properties for shallow TRS and innermost rewriting (Q964737) (← links)
- Reachability and confluence are undecidable for flat term rewriting systems (Q1014436) (← links)
- Unique Normalization for Shallow TRS (Q3636819) (← links)
- Uniqueness of Normal Forms for Shallow Term Rewrite Systems (Q5278216) (← links)