Pages that link to "Item:Q964737"
From MaRDI portal
The following pages link to Normalization properties for shallow TRS and innermost rewriting (Q964737):
Displaying 3 items.
The following pages link to Normalization properties for shallow TRS and innermost rewriting (Q964737):
Displaying 3 items.