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):
Displayed 3 items.
The following pages link to A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems (Q613611):
Displayed 3 items.