Pages that link to "Item:Q1275015"
From MaRDI portal
The following pages link to Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015):
Displayed 1 item.
The following pages link to Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015):
Displayed 1 item.