Pages that link to "Item:Q613611"
From MaRDI portal
The following pages link to A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems (Q613611):
Displaying 4 items.
- Uniqueness of normal forms is decidable for shallow term rewrite systems (Q2908858) (← links)
- Unique Normalization for Shallow TRS (Q3636819) (← links)
- New Undecidability Results for Properties of Term Rewrite Systems (Q5166638) (← links)
- Uniqueness of Normal Forms for Shallow Term Rewrite Systems (Q5278216) (← links)