Pages that link to "Item:Q2908858"
From MaRDI portal
The following pages link to Uniqueness of normal forms is decidable for shallow term rewrite systems (Q2908858):
Displaying 3 items.
The following pages link to Uniqueness of normal forms is decidable for shallow term rewrite systems (Q2908858):
Displaying 3 items.